Stanford Online - Stanford Seminar - Recent progress in verifying neural networks, Zico Kolter
Sign in to continue reading, translating and more.