Completed
Intro
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Towards Verified Deep Learning
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Context
- 3 Formal Methods
- 4 Context Matters
- 5 Example
- 6 Properties
- 7 Robustness
- 8 Local Robustness
- 9 Semantic adversarial analysis
- 10 Differentiable rendering
- 11 Verification
- 12 CPSML
- 13 CPSML Example
- 14 Retraining
- 15 Scenic
- 16 Deep Neural Networks
- 17 Verified
- 18 Conclusion
- 19 Questions Directions