Proofs and Circuits: Connections via Interpolation and Lifting
59:51
Short Proofs in Strong Proof Systems
1:02:06
On Gradient-Based Optimization: Accelerated, Distributed, Asynchronous and Stochastic
1:36:39
Lisa Piccirillo: Exotic Phenomena in dimension 4
56:02
Does the Neocortex Use Grid Cell-Like Mechanisms to Learn the Structure of Objects?
1:00:16
Lower Bounds in Complexity Theory, Communication Complexity, and Sunflowers - Toniann Pitassi
45:35
Learning Theory of Transformers: Generalization and Optimization of In-Context Learning
56:21
L’intelligence artificielle n’existe pas, par Luc Julia
1:49:55