Verifying Neural Networks with Mixed Integer Programming
ImageNet Large Scale Visual Recognition Challenge