VeriX
A toolkit for extracting formal explanations for DNN inferences

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

Lemur
A prototype verifier that combines LLMs with off-the-shelf program verification tools