Short Proofs in Strong Proof Systems
56:51
SAT for Optimization
45:35
Learning Theory of Transformers: Generalization and Optimization of In-Context Learning
56:02
Does the Neocortex Use Grid Cell-Like Mechanisms to Learn the Structure of Objects?
1:08:14
Cryptography: From Mathematical Magic to Secure Communication
1:27:25
A New Measure: The Revolutionary, Quantum Reform of the Modern Metric System
44:25
Understanding the abilities of AI systems: Memorization, generalization, and points in between
52:06
Generalization in the representations and computations of frontier language models.
1:00:36