Overview
(current)
About
Evaluating Robustness of Neural Networks with Mixed Integer Programming
Vincent Tjeng, Kai Y. Xiao, Russ Tedrake. ICLR 2019. (
Poster PDF
)