Verified Intelligence

Formal verification tools for AI. Led by Prof. Huan Zhang at UIUC