Evaluating Robustness of Neural Networks with Mixed Integer Programming
Towards Fast Computation of Certified Robustness for ReLU Networks