Safety and Robustness for Deep Learning with Provable Guarantees - Marta Kwiatkowska - Oxford

Safety and Robustness for Deep Learning with Provable Guarantees - Marta Kwiatkowska - Oxford

Alan Turing Institute via YouTube Direct link

Software verification

8 of 31

8 of 31

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. 1 Intro
  2. 2 Big data
  3. 3 Examples
  4. 4 Safety
  5. 5 Resilience testing
  6. 6 Fatal crashes
  7. 7 An adversarial perturbation
  8. 8 Software verification
  9. 9 Machine learning
  10. 10 Deep feedforward neural networks
  11. 11 Neural networks and classifiers
  12. 12 Training and testing
  13. 13 Robustness
  14. 14 Safety of classification decisions
  15. 15 First approach
  16. 16 Lipsheets
  17. 17 Search for adversarial examples
  18. 18 Search for better adversarial examples
  19. 19 MSR for videos
  20. 20 Text classification
  21. 21 Certification guarantees
  22. 22 Summary
  23. 23 Questioning
  24. 24 interventional robustness
  25. 25 probabilistic verification
  26. 26 pointwise robustness
  27. 27 regression safety
  28. 28 High profile failures
  29. 29 We are scratching at the surface
  30. 30 Conclusion
  31. 31 Questions

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.