Massachusetts Institute of Technology
Vincent Tjeng, Kai Xiao, Russ Tedrake
verification;adversarial robustness;adversarial examples;deep learning
Evaluating Robustness of Neural Networks with Mixed Integer Programming