Completed
Software verification
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Safety and Robustness for Deep Learning with Provable Guarantees - Marta Kwiatkowska - Oxford
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Big data
- 3 Examples
- 4 Safety
- 5 Resilience testing
- 6 Fatal crashes
- 7 An adversarial perturbation
- 8 Software verification
- 9 Machine learning
- 10 Deep feedforward neural networks
- 11 Neural networks and classifiers
- 12 Training and testing
- 13 Robustness
- 14 Safety of classification decisions
- 15 First approach
- 16 Lipsheets
- 17 Search for adversarial examples
- 18 Search for better adversarial examples
- 19 MSR for videos
- 20 Text classification
- 21 Certification guarantees
- 22 Summary
- 23 Questioning
- 24 interventional robustness
- 25 probabilistic verification
- 26 pointwise robustness
- 27 regression safety
- 28 High profile failures
- 29 We are scratching at the surface
- 30 Conclusion
- 31 Questions