Formal & Physical Sciences Computing & CybersecurityENVerifiable quantum advantage: old and new ideasAlexandru Gheorghiu (IBM Quantum)July 16, 2025 64 min★ ★ ★ ★ ☆ 4/5Quantum ComputingQuantum AdvantageVerification
Formal & Physical Sciences Science — General & HistoryENDiamond iO: Lattice-Based Obfuscation without Bootstrapping from Functional Encryption, toward...Sora Suegami (Ethereum Foundation - Machina iO)July 8, 2025 35 min★ ★ ★ ★ ☆ 4/5Indistinguishability ObfuscationLattice-Based CryptographyFunctional Encryption
Formal & Physical Sciences Science — General & HistoryENExpedition to Obfustopia: Indistinguishability Obfuscation from Well-Studied Assumptions to New...Rachel LinJune 26, 2025 68 min★ ★ ★ ★ ☆ 4/5Indistinguishability ObfuscationCryptographyTheoretical Computer Science
Formal & Physical Sciences Science — General & HistoryENPrivate Information Retrieval and Oblivious RAMElaine ShiJune 25, 2025 74 min★ ★ ★ ★ ☆ 4/5Oblivious RAMPrivate Information RetrievalAccess Pattern Leakage
Formal & Physical Sciences AI — Models & ResearchENSasha Rush | PolyloguesSasha RushApril 29, 2025 20 min★ ★ ★ ★ ☆ 4/5Scaling LawsLarge Language ModelsTest-Time Compute
Formal & Physical Sciences AI — Models & ResearchENDeepSeek-R1 Thoughtology: <Thinking> about LLM ReasoningSiva ReddyApril 23, 2025 59 min★ ★ ★ ★ ☆ 4/5DeepSeek-R1LLM ReasoningChain-of-Thought
Formal & Physical Sciences AI & SocietyENSuperintelligent Agents Pose Catastrophic Risks — ... | Richard M. Karp Distinguished LectureYoshua BengioApril 17, 2025 74 min★ ★ ★ ★ ☆ 4/5AI SafetyAI AgentsScientist AI
Formal & Physical Sciences Computing & CybersecurityENOptimization by Decoded Quantum Interferometry | Quantum ColloquiumStephen JordanMarch 19, 2025 102 min★ ★ ★ ★ ☆ 4/5Quantum ComputingOptimizationDecoding
Formal & Physical Sciences AI — Models & ResearchENAndrew Gordon Wilson | PolyloguesAndrew Gordon WilsonFebruary 27, 2025 29 min★ ★ ★ ★ ☆ 4/5TransformersKolmogorov ComplexityNo Free Lunch Theorem
Formal & Physical Sciences AI — Models & ResearchENHow Do Transformers Learn Variable Binding?Raphaël MillièreFebruary 18, 2025 71 min★ ★ ★ ★ ☆ 4/5Variable BindingTransformersMechanistic Interpretability
Formal & Physical Sciences AI — News & ApplicationsENBoaz Barak | PolyloguesBoaz BarakJanuary 25, 2025 26 min★ ★ ★ ★ ☆ 4/5CryptographyMachine LearningZero-Knowledge Proofs
Formal & Physical Sciences AI — Models & ResearchENTesting Noise Assumptions of Learning AlgorithmsArsen VasilyanDecember 18, 2024 34 min★ ★ ★ ★ ☆ 4/5Testable LearningMassart NoiseRandom Classification Noise
Formal & Physical Sciences MathematicsENTalk by Ali Kavis (UT Austin)Ali KavisDecember 18, 2024 27 min★ ★ ★ ★ ☆ 4/5OptimizationMin-MaxSecond-Order
Formal & Physical Sciences AI — Models & ResearchENA Discrepancy-Based Theory of AdaptationMehryar MohriNovember 18, 2024 53 min★ ★ ★ ★ ☆ 4/5Domain AdaptationDiscrepancyTheory
Formal & Physical Sciences Computing & CybersecurityENIntro to Quantum Gibbs Samplers: Algorithmic IngredientsSandy IraniOctober 30, 2024 67 min★ ★ ★ ★ ☆ 4/5Quantum ComputingGibbs SamplersMarkov Chains
Formal & Physical Sciences AI — Models & ResearchENUnderstanding and Improving Efficient Language ModelsSimran AroraOctober 15, 2024 46 min★ ★ ★ ★ ☆ 4/5Efficient Language ModelsAssociative RecallLinear Attention
Formal & Physical Sciences AI — Models & ResearchENModern paradigms of generalization, the heliocentric model of Aristarchus,...Matus TelgarskyOctober 4, 2024 69 min★ ★ ★ ★ ☆ 4/5GeneralizationLarge Language ModelsOptimization
Formal & Physical Sciences Computing & CybersecurityENIrit Dinur | PolyloguesIrit DinurSeptember 30, 2024 22 min★ ★ ★ ★ ☆ 4/5Theoretical Computer SciencePCP TheoremHigh-Dimensional Expanders