Verifying Neural Networks with Mixed Integer Programming | ResearchPod