| 2025-06-26 | Expedition to Obfustopia: Indistinguishability Obfuscation from Well-Studied Assumptions to New... | 0:00 | 189 | |
|
| 2025-06-25 | To interact or not to interact: Cryptographic proof systems and the Fiat-Shamir heuristic | 0:00 | 210 | |
|
| 2025-06-18 | Succinct arguments for QMA from standard assumptions, without quantum PCPs | 0:00 | 174 | |
|
| 2025-05-30 | Crypto + Meta-complexity 2 | 0:00 | 167 | |
|
| 2025-05-30 | Crypto + Meta-complexity 1 | 0:00 | 152 | |
|
| 2025-05-30 | Crypto + ML 2 | 0:00 | 432 | |
|
| 2025-05-30 | Crypto + ML 1 | 0:00 | 535 | |
|
| 2025-05-30 | Private Information Retrieval and Oblivious RAM | 0:00 | 148 | |
|
| 2025-05-30 | Secure Computation 3 | 0:00 | 64 | |
|
| 2025-05-30 | Secure Computation 2 | 0:00 | 70 | |
|
| 2025-05-30 | Secure Computation 1 | 0:00 | 113 | |
|
| 2025-05-30 | Proofs - Practice 2 | 0:00 | 98 | |
|
| 2025-05-30 | Proofs - Practice 1 | 0:00 | 101 | |
|
| 2025-05-30 | Proofs - Theory | 0:00 | 150 | |
|
| 2025-05-30 | Quantum 4 | 0:00 | 99 | |
|
| 2025-05-30 | Quantum 3 | 0:00 | 89 | |
|
| 2025-05-30 | Quantum 2 | 0:00 | 151 | |
|
| 2025-05-30 | Foundations 2 | 0:00 | 197 | |
|
| 2025-05-19 | Foundations 1 | 0:00 | 387 | |
|
| 2025-05-01 | Future Directions In AI Safety Research | 0:00 | 400 | |
|
| 2025-04-28 | Introduction (Sanjit Seshia) | 0:00 | 371 | |
|
| 2025-04-23 | How to Locate Unentanglement | Quantum Colloquium | 0:00 | 586 | |
|
| 2025-04-16 | Talk by Sophie Morel (ENS de Lyon) | 0:00 | 102 | |
|
| 2025-04-16 | Challenges in State-of-the-Art Bit-Precise Reasoning | 0:00 | 60 | |
|
| 2025-04-16 | Talk by Yannick Forster (INRIA) | 0:00 | 70 | |
|
| 2025-04-16 | Testing Artificial Mathematical Intelligence | 0:00 | 131 | |
|
| 2025-04-16 | Adventures with an Automatic Prover | 0:00 | 65 | |
|
| 2025-04-16 | Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification | 0:00 | 187 | |
|
| 2025-04-16 | How can Machine Learning Help Mathematicians? | 0:00 | 117 | |
|
| 2025-04-16 | Computer-Assisted Intuition: SAT Solvers in Mathematical Discovery | 0:00 | 129 | |
|
| 2025-04-07 | The Move Toward AGI: Why Large Language Models Surprised Almost Everyone... | Theoretically Speaking | 0:00 | 2,930 | |
|
| 2025-04-07 | Transformers can learn compositional function | 0:00 | 736 | |
|
| 2025-04-07 | Advancing Diffusion Models for Text Generation | 0:00 | 1,168 | |
|
| 2025-04-07 | Inference Scaling: A New Frontier for AI Capability | 0:00 | 1,827 | |
|
| 2025-04-07 | Predicting and optimizing the behavior of large ML models | 0:00 | 538 | |
|
| 2025-04-07 | Mixed-modal Language Modeling: Chameleon, Transfusion, and Mixture of Transformers | 0:00 | 384 | |
|
| 2025-04-07 | Reducing the Dimension of Language: A Spectral Perspective on Transformers | 0:00 | 330 | |
|
| 2025-04-07 | LLM skills and meta-cognition: scaffolding for new forms of learning? | 0:00 | 314 | |
|
| 2025-04-07 | The Key Ingredients of Optimizing Test-Time Compute and What's Still Missing | 0:00 | 500 | |
|
| 2025-04-07 | Controllable and Creative Natural Language Generation | 0:00 | 101 | |
|
| 2025-04-04 | Field-based decoders revisited (partial) | 0:00 | 199 | |
|
| 2025-03-24 | Topological quantum spin glass order and its realization in qLDPC codes (partial) | 0:00 | 430 | |
|
| 2025-03-19 | How to Construct Random Unitaries | Quantum Colloquium | 0:00 | 923 | |
|
| 2025-02-28 | Neuroscience and AI: a symbiosis | 0:00 | 1,219 | |
|
| 2025-02-18 | Panel Discussion | 0:00 | 935 | |
|
| 2025-02-18 | Rules vs. Neurons and what may be next | 0:00 | 1,044 | |
|
| 2025-02-18 | How DeepSeek changes the LLM story | 0:00 | 4,742 | |
|
| 2025-02-18 | How Linguistics Learned to Stop Worrying and Love the Language Models | 0:00 | 412 | |
|
| 2025-02-18 | Why it Matters That Babies and Language Models are the Only Known Language Learners | 0:00 | 414 | |
|
| 2025-02-18 | Neural algorithms of human language | 0:00 | 459 | |
|
| 2025-02-18 | Do LLMs Use Language? | 0:00 | 275 | |
|
| 2025-02-18 | More accurate behavioral predictions with hybrid Bayesian-Transformer models | 0:00 | 219 | |
|
| 2025-02-18 | Knowledge is structured and domain-specific: lessons from developmental cognitive science | 0:00 | 185 | |
|
| 2025-02-18 | Virtual Lab of AI Scientists | 0:00 | 298 | |
|
| 2025-02-18 | You Know It Or You Don’t: Compositionality and Phase Transitions in LMs | 0:00 | 201 | |
|
| 2025-02-18 | Interpreting LLMs to Interpret the Brain | 0:00 | 213 | |
|
| 2025-02-18 | Language and thought in brains: Implications for AI | 0:00 | 115 | |
|
| 2025-02-18 | Dissociating language and thought in large language models | 0:00 | 113 | |
|
| 2025-02-18 | The Cognitive Boundaries of Language Models: Hallucinations and Understanding | 0:00 | 122 | |
|
| 2025-02-18 | How Do Transformers Learn Variable Binding? | 0:00 | 207 | |
|
| 2025-02-07 | Automating scientific discovery and hypothesis generation with language model agents | 0:00 | 176 | |
|
| 2025-01-27 | Resilience in Action | 0:00 | 344 | |
|
| 2025-01-25 | Boaz Barak | Polylogues | 0:00 | 1,156 | |
|
| 2024-12-24 | Debate: Sparks versus embers | 0:00 | 8,724 | |
|
| 2024-12-24 | Off-the-shelf Algorithmic Stability | 0:00 | 1,010 | |
|
| 2024-12-24 | Learning Theory of Transformers: Generalization and Optimization of In-Context Learning | 0:00 | 2,729 | |
|
| 2024-12-24 | First-Person Fairness in Chatbots | 0:00 | 258 | |
|
| 2024-12-24 | Panel on the future of scientific research and education | 0:00 | 760 | |
|
| 2024-12-24 | Generalization in the representations and computations of frontier language models. | 0:00 | 1,087 | |
|
| 2024-12-24 | Temporal Context in Brains and AI | 0:00 | 604 | |
|
| 2024-12-24 | Frame-shifting and Conceptual Blending: What do large language models have to say? | 0:00 | 206 | |
|
| 2024-12-24 | How machine learning is influencing protein engineering | 0:00 | 305 | |
|
| 2024-12-24 | Strong generalization from small brains and no training data | 0:00 | 783 | |
|
| 2024-12-24 | How neural networks learns simple functions? | 0:00 | 660 | |
|
| 2024-12-24 | The Curious Incident of Developing Artificial General Intelligence | 0:00 | 637 | |
|
| 2024-12-24 | Fireside Chat | 0:00 | 220 | |
|
| 2024-12-24 | On Memorization of Large Language Models in Logical Reasoning | 0:00 | 256 | |
|
| 2024-12-24 | Convex Analysis at Infinity: An Introduction to Astral Space and Fireside Chat | 0:00 | 151 | |
|
| 2024-12-17 | Talk by Ali Kavis (UT Austin) | 0:00 | 214 | |
|
| 2024-12-17 | Testing Noise Assumptions of Learning Algorithms | 0:00 | 159 | |
|
| 2024-12-06 | Generalization via analogy in young children and Large Models. | 0:00 | 61 | |
|
| 2024-12-06 | Generalization insights from actual cognition | 0:00 | 65 | |
|
| 2024-12-05 | A New Paradigm for Learning with Distribution Shift | 0:00 | 55 | |
|
| 2024-12-05 | Understanding the abilities of AI systems: Memorization, generalization, and points in between | 0:00 | 50 | |
|
| 2024-12-05 | Weak-to-Strong Generalization | 0:00 | 91 | |
|
| 2024-12-05 | Fireside Chat | 0:00 | 93 | |
|
| 2024-11-20 | Robust Mixture Learning when Outliers Overwhelm Small Groups | 0:00 | 82 | |
|
| 2024-11-20 | Learning General Gaussian Mixtures With Efficient Score Matching | 0:00 | 92 | |
|
| 2024-11-20 | Talk by Mahdi Soltanolkotabi (University of Southern California) | 0:00 | 97 | |
|
| 2024-11-19 | Beyond Decoding: Meta-Generation Algorithms for Large Language Models (Remote Talk) | 0:00 | 280 | |
|
| 2024-11-19 | Revisiting Scalarization in Multi-Task Learning | 0:00 | 142 | |
|
| 2024-11-19 | Omnipredicting Single-Index Models with Multi-Index Models | 0:00 | 122 | |
|
| 2024-11-19 | Some Easy Optimization Problems Have the Overlap-Gap Property | 0:00 | 451 | |
|
| 2024-11-19 | Understanding Contrastive Learning and Self-training | 0:00 | 277 | |
|
| 2024-11-18 | A Discrepancy-Based Theory of Adaptation | 0:00 | 369 | |
|
| 2024-11-18 | Learning from Dynamics | 0:00 | 1,590 | |
|
| 2024-11-18 | Bypassing the Impossibility of Online Learning Thresholds: Unbounded Losses and Transductive Priors | 0:00 | 245 | |
|
| 2024-11-18 | The Truth About Your Lying Calibrated Forecaster: How to Design Truthful Calibration Measures | 0:00 | 313 | |
|
| 2024-11-15 | Open-Source and Science in the Era of Foundation Models | 0:00 | 212 | |
|
| 2024-11-15 | Panel Discussion | 0:00 | 287 | |
|
