Evaluating Robustness of Neural Networks with Mixed Integer Programming
JuMP: A Modeling Language for Mathematical Optimization