AAAI 2022 Tutorial: "Formal Verification of Deep Neural Networks: Theory and Practice"
41:34
Towards Verification of General Neural Networks: A Dual Approach
24:48
WFVML 2022 Invited Talk: Efficient Neural Network Verification using Branch and Bound (Suman Jana)
27:22
AI Is Making You An Illiterate Programmer
1:56:20
Let's build GPT: from scratch, in code, spelled out.
50:32
On Evaluating Adversarial Robustness
54:51
How to Create a Neural Network (and Train it to Identify Doodles)
11:35
"Don't Learn to Code, But Study This Instead..." says NVIDIA CEO Jensen Huang
38:08