Stanford Seminar - Recent progress in verifying neural networks, Zico Kolter
52:08
Stanford Seminar - How can you trust machine learning? Carlos Guestrin
1:01:51
SaTML 2023 - Zico Kolter - Robustness in Machine Learning: A Five-Year Retrospective
57:45
Visualizing transformers and attention | Talk for TNG Big Tech Day '24
26:52
Andrew Ng Explores The Rise Of AI Agents And Agentic Reasoning | BUILD 2024 Keynote
2:14:54
AAAI 2022 Tutorial: "Formal Verification of Deep Neural Networks: Theory and Practice"
1:16:48
Randy Pausch's Last Lecture - Remastered
45:46
Geoffrey Hinton | On working with Ilya, choosing problems, and the power of intuition
58:06