Verifying Neural Networks with Mixed Integer Programming
Towards Evaluating the Robustness of Neural Networks