Verifying Neural Networks with Mixed Integer Programming
Towards Deep Neural Network Architectures Robust to Adversarial Examples