Figuring out how the world works: causality in a world full of real people
59:47
Machine-Checked Proofs, and the Rise of Formal Methods in Mathematics
1:00:19
Beyond Test Accuracies for Studying Deep Neural Networks
45:46
Geoffrey Hinton | On working with Ilya, choosing problems, and the power of intuition
57:28
AppWorld: Reliable Evaluation of Interactive Agents in a Controllable World of Apps and People
1:00:07
Knowledge Graphs as the Foundation for Interoperable Intelligent Systems - Fabien Gandon @KGSWC 2024
43:48
Generative AI + Education: Will Generative AI Transform Learning and Education
41:45
Geoff Hinton - Will Digital Intelligence Replace Biological Intelligence? | Vector's Remarkable 2024
51:31