AAAI 2022 Tutorial: "Formal Verification of Deep Neural Networks: Theory and Practice"
24:48
WFVML 2022 Invited Talk: Efficient Neural Network Verification using Branch and Bound (Suman Jana)
40:28
Neural Network Verification: an Interview with Taylor Johnson, Vanderbilt Computer Science
1:04:27
NeurIPS 2020 Tutorial on Offline RL: Part 1
38:08
A Tutorial on Conformal Prediction
27:57
How We Trust a Black Box: Formal Verification of Deep Neural Networks – Huan Zhang
54:51
How to Create a Neural Network (and Train it to Identify Doodles)
7:25
How You Will Lose Your Job To AI
50:32