Completed
Introduction
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Stanford Seminar - Recent Progress in Verifying Neural Networks, Zico Kolter
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Overview
- 3 Recent examples
- 4 The bottom line
- 5 Verifying deep learning
- 6 The problem of deep networks
- 7 Linear networks
- 8 Offtheshelf solvers
- 9 Questions
- 10 Validation
- 11 Linear Programming
- 12 Branch Inbound
- 13 In practice
- 14 Does robustness matter
- 15 Security flaws
- 16 Why doesnt anyone care
- 17 Conclusion
