CPAIOR: formal verification in general, including on deep learning. Has a number of interesting videos on formal verification, how it works, and some that apply it to machine learning, eg “Safety in AI Systems—SMT-Based Verification of Deep Neural Networks”; “Formal Reasoning Methods in Machine Learning Explainability”; “Reasoning About the Probabilistic Behavior of Classifiers”; “Certified Artificial Intelligence”; “Explaining Machine Learning Predictions”; a few others. https://www.youtube.com/channel/UCUBpU4mSYdIn-QzhORFHcHQ/videos
CPAIOR: formal verification in general, including on deep learning. Has a number of interesting videos on formal verification, how it works, and some that apply it to machine learning, eg “Safety in AI Systems—SMT-Based Verification of Deep Neural Networks”; “Formal Reasoning Methods in Machine Learning Explainability”; “Reasoning About the Probabilistic Behavior of Classifiers”; “Certified Artificial Intelligence”; “Explaining Machine Learning Predictions”; a few others. https://www.youtube.com/channel/UCUBpU4mSYdIn-QzhORFHcHQ/videos