Completed
Formal Methods
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