Verifying Neural Networks with Mixed Integer Programming. - Vincent Tjeng; Russ Tedrake (CoRR, 2017)

Evaluating Robustness of Neural Networks with Mixed Integer Programming. - Vincent Tjeng; Kai Yuanqing Xiao; Russ Tedrake (ICLR (Poster), 2019)

Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability. - Kai Yuanqing Xiao; Vincent Tjeng; Nur Muhammad (Mahi) Shafiullah; Aleksander Madry (ICLR (Poster), 2019)

SmartChoices: Augmenting Software with Learned Implementations. - Daniel Golovin; Gábor Bartók; Eric Chen; Emily Donahue; Tzu-Kuo Huang; Efi Kokiopoulou; Ruoyan Qin; Nikhil Sarda; Justin Sybrandt; Vincent Tjeng (CoRR, 2023)