Stanford Seminar - Recent progress in verifying neural networks, Zico Kolter | Stanford Online | Podwise