Evaluating Robustness of Neural Networks with Mixed Integer Programming

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