Evaluating Robustness of Neural Networks with Mixed Integer Programming

Vincent Tjeng, Kai Y. Xiao, Russ Tedrake. ICLR 2019.  (Poster PDF)