Marabou An open-source SMT-based tool that can answer verification queries over neural networks, which I serve as the technical lead