2019
Evaluating Robustness of Neural Networks with Mixed Integer Programming
ICLR 2019poster
Neural networks trained only to optimize for training accuracy can often be fooled by adversarial examples --- slightly perturbed inputs misclassified with high confidence. Verification of networks enables us to gauge their vulnerability to such adversarial examples. We formulate verification of pie…