Proofs and Circuits: Connections via Interpolation and Lifting
59:51
Short Proofs in Strong Proof Systems
45:35
Learning Theory of Transformers: Generalization and Optimization of In-Context Learning
1:22:10
Debate: Sparks versus embers
1:02:06
On Gradient-Based Optimization: Accelerated, Distributed, Asynchronous and Stochastic
1:09:53
Distinguished Lecturer Series: Building Science - Adventures in Building Science
1:08:14
Cryptography: From Mathematical Magic to Secure Communication
57:30
Strong Generalization from Small Brains and No Training Data
28:46