On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models
Evaluating Robustness of Neural Networks with Mixed Integer Programming