Verifying Neural Networks with Mixed Integer Programming | Vincent Tjeng, Russ Tedrake | ResearchPod