VeriX
A toolkit for extracting formal explanations for DNN inferences

Tactix
A state-of-the-art SAT solver with a public strategy interface for human and AI to develop rich domain-specific solving strategies.

TACO
A cube-and-conquer framework that learns solver strategies online, for SAT solving and neural network verification

SpotIt+
A bounded-verification-based Text-to-SQL evaluation tool

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

Luna
A bound propagation tool for neural network verification

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