Formal & Physical Sciences MathematicsENSeokbeom Yoon - The octahedral decomposition and the 1-loop conjecture - IPAM at UCLASeokbeom YoonOctober 12, 2026 34 min★ ★ ★ ★ ☆ 4/5Knot TheoryHyperbolic GeometryReidemeister Torsion
Formal & Physical Sciences MathematicsENMichelle Chu - Salem numbers in arithmetic hyperbolic manifolds - IPAM at UCLAMichelle ChuOctober 12, 2026 47 min★ ★ ★ ★ ☆ 4/5Salem NumbersArithmetic Hyperbolic ManifoldsGeodesics
Formal & Physical Sciences MathematicsENQiuyu Ren - Gluing formulas for Khovanov skein lasagna modules, & detection of exotic 4-manifoldsQiuyu RenSeptember 30, 2026 78 min★ ★ ★ ★ ★ 5/5Khovanov HomologySkein Modules4-Manifolds
Formal & Physical Sciences MathematicsENIan Le - Cluster Algebras and Legendrian Knots - IPAM at UCLAIan LeSeptember 30, 2026 77 min★ ★ ★ ★ ☆ 4/5Cluster AlgebrasLegendrian KnotsCharacter Varieties
Formal & Physical Sciences MathematicsENNathan Geer - Non-Semisimple Skien TQFTs - IPAM at UCLANathan GeerSeptember 29, 2026 69 min★ ★ ★ ★ ★ 5/5Topological Quantum Field TheoryNon-Semisimple CategoriesSkein Modules
Formal & Physical Sciences MathematicsENMichael Willis - Defining skein lasagna modules, and basic properties - IPAM at UCLAMichael WillisSeptember 29, 2026 74 min★ ★ ★ ★ ☆ 4/5Skein Modules4-ManifoldsLow-Dimensional Topology
Humanities, Social Sciences & Thought MathematicsENGiulio Belletti - Introduction to quantum invariants - IPAM at UCLAInstitute for Pure & Applied Mathematics (IPAM)September 29, 2026 74 min★ ★ ★ ☆ ☆ 3/5
Formal & Physical Sciences MathematicsENDaniel Douglas - Introduction to the theory of Fock and Goncharov - IPAM at UCLADaniel DouglasSeptember 29, 2026 77 min★ ★ ★ ★ ☆ 4/5Fock-GoncharovTeichmüllerHyperbolic Geometry
Formal & Physical Sciences MathematicsENMelissa Zhang - Khovanov homology and generalizations - IPAM at UCLAMelissa ZhangSeptember 28, 2026 65 min★ ★ ★ ★ ☆ 4/5Khovanov HomologyCategorificationTQFT
Formal & Physical Sciences MathematicsENAriana Chin - Introduction to Cluster Algebras - IPAM at UCLAAriana ChinSeptember 26, 2026 71 min★ ★ ★ ★ ☆ 4/5Cluster AlgebrasQuiversMutation
Formal & Physical Sciences AI — Models & ResearchENTakaharu Yaguchi - Geometric-Structure Machine Learning; Cross-System Prediction Hamiltonian SystemsTakaharu YaguchiSeptember 19, 2026 26 min★ ★ ★ ★ ☆ 4/5Scientific Machine LearningHamiltonian SystemsNeural Operators
Formal & Physical Sciences AI — Models & ResearchENRobert Joseph George - Verified Scientific Machine Learning in Lean - IPAM at UCLARobert Joseph GeorgeSeptember 19, 2026 25 min★ ★ ★ ★ ☆ 4/5LeanFormal VerificationMachine Learning
Formal & Physical Sciences PhysicsENMatthew Sottile - Physics to Simulation: The Deep Stack of Formalization - IPAM at UCLAMatthew SottileSeptember 19, 2026 32 min★ ★ ★ ★ ☆ 4/5Formal VerificationScientific ComputingPDE
Formal & Physical Sciences AI — Models & ResearchENKoji Hashimoto - On the interpretability of neural network solutions of PDEs in theoretical physicsKoji HashimotoSeptember 18, 2026 33 min★ ★ ★ ★ ☆ 4/5Neural NetworkPDETheoretical Physics
Formal & Physical Sciences MathematicsENBhavik Mehta - Formally Verified Numerics for Differential Equations - IPAM at UCLABhavik MehtaSeptember 18, 2026 29 min★ ★ ★ ★ ☆ 4/5Formal VerificationLeanDifferential Equations
Formal & Physical Sciences Computing & CybersecurityENAndrew Appel - Building a Formally Verified Finite Element Method Solver, One Component At a TimeAndrew AppelSeptember 18, 2026 23 min★ ★ ★ ★ ☆ 4/5Formal VerificationFinite Element MethodRocq
Formal & Physical Sciences MathematicsENTerence Tao - The integrated explicit analytic number theory network - IPAM at UCLATerence TaoSeptember 17, 2026 32 min★ ★ ★ ★ ☆ 4/5Analytic Number TheoryFormal VerificationLean
Formal & Physical Sciences MathematicsENKazuaki Tanaka - Constructing Certified Enclosures with Neural Sub- and Super-SolutionsKazuaki TanakaSeptember 17, 2026 25 min★ ★ ★ ★ ☆ 4/5Neural NetworksPartial Differential EquationsVerified Computation
Formal & Physical Sciences Climate & EcologyENAllison Baker - Is it still correct? Quality assurance for an Earth System Model - IPAM at UCLAAllison BakerSeptember 17, 2026 29 min★ ★ ★ ★ ☆ 4/5
Humanities, Social Sciences & Thought AI — News & ApplicationsENTerence Tao - Reflections on the Foundations of Interpretability workshop - IPAM at UCLATerence TaoSeptember 4, 2026 34 min★ ★ ★ ★ ☆ 4/5AI in MathematicsInterpretabilityMathematical Practice
Formal & Physical Sciences AI — Models & ResearchENPaul Riechers - The shape of beliefs and abstraction in neural networks - IPAM at UCLAPaul Riechers (Simplex)September 4, 2026 54 min★ ★ ★ ★ ☆ 4/5InterpretabilityNeural NetworksBelief Updating
Formal & Physical Sciences AI — Models & ResearchENMahdi Soltanolkotabi - Interpreting Generative Models for Better Steering: Generation to VerifiableMahdi SoltanolkotabiSeptember 3, 2026 42 min★ ★ ★ ★ ☆ 4/5Diffusion ModelsInterpretabilitySparse Autoencoders
Formal & Physical Sciences MathematicsENGyorgy Turan - Error-correcting codes: a sandbox for learning, interpretability and optimizationGyorgy TuranSeptember 3, 2026 45 min★ ★ ★ ★ ☆ 4/5Error-Correcting CodesInterpretabilityDeep Learning
Formal & Physical Sciences AI — News & ApplicationsENGitta Kutyniok - From Mathematical Guarantees to Computational Limits of AI InterpretabilityGitta KutyniokSeptember 3, 2026 48 min★ ★ ★ ★ ☆ 4/5InterpretabilityMathematical GuaranteesComputational Limits
Formal & Physical Sciences AI — News & ApplicationsENGal Mishne - From Explanations to Mechanisms: Interpreting Computation in Graph Neural NetworksGal MishneSeptember 3, 2026 52 min★ ★ ★ ★ ☆ 4/5Graph Neural NetworksInterpretabilityMechanistic Interpretability
Formal & Physical Sciences AI — Models & ResearchENDmitry Vaintrob - Statistical theory of learning sparse structure - IPAM at UCLADmitry VaintrobSeptember 3, 2026 46 min★ ★ ★ ★ ☆ 4/5Sparse AutoencodersInterpretabilityMean Field Theory
Formal & Physical Sciences AI — Models & ResearchENYusu Wang - Neural Network Generalization through an algorithmic lens - IPAM at UCLAYusu WangSeptember 2, 2026 50 min★ ★ ★ ★ ☆ 4/5Graph Neural NetworksOut-of-Distribution GeneralizationAlgorithmic Alignment
Formal & Physical Sciences Philosophy & EthicsENSam Eisenstat - Concepts, information, and objectivity - IPAM at UCLASam EisenstatSeptember 2, 2026 44 min★ ★ ★ ★ ☆ 4/5InterpretabilityLatent VariablesInformation Theory
Formal & Physical Sciences AI — News & ApplicationsENElias Bareinboim - Towards Causal AI: From Mechanism to Understanding - IPAM at UCLAElias BareinboimSeptember 2, 2026 54 min★ ★ ★ ★ ☆ 4/5Causal InferenceAICounterfactuals
Formal & Physical Sciences AI — Models & ResearchENRyan Cotterell - Two views of a language model - IPAM at UCLARyan CotterellSeptember 1, 2026 45 min★ ★ ★ ★ ☆ 4/5Language ModelsExpressivitySuccinctness
Formal & Physical Sciences AI — Models & ResearchENMax Tegmark - Neural network interpretability: symmetry, geometry and formal verificationMax TegmarkSeptember 1, 2026 51 min★ ★ ★ ★ ☆ 4/5InterpretabilityNeural NetworksSymmetry
Formal & Physical Sciences AI — News & ApplicationsENJosh Batson - Interpretability: From Art Towards Science - IPAM at UCLAJosh BatsonSeptember 1, 2026 43 min★ ★ ★ ★ ☆ 4/5InterpretabilityNeural NetworksMechanistic Interpretability
Formal & Physical Sciences AI — Models & ResearchENMarina Meila - Contrastive Explanations: a geometric and topological view - IPAM at UCLAMarina MeilaAugust 31, 2026 53 min★ ★ ★ ★ ☆ 4/5Counterfactual ExplanationsInterpretabilityMorse Theory
Formal & Physical Sciences AI — News & ApplicationsENBeen Kim - Changing Shapes: Interpretability, AI, and the Future of Human Agency - IPAM at UCLABeen KimAugust 31, 2026 40 min★ ★ ★ ★ ☆ 4/5InterpretabilityAI SafetyHuman Agency
Formal & Physical Sciences MathematicsENMiriam Kuzbary - 0-Surgeries on Links - IPAM at UCLAMiriam KuzbaryAugust 27, 2026 31 min★ ★ ★ ★ ☆ 4/5Low-Dimensional TopologyDehn Surgery3-Manifolds
Formal & Physical Sciences MathematicsENViktória Földvári - Maximal tb Representatives of Double Twist Knots - IPAM at UCLAViktória FöldváriAugust 26, 2026 23 min★ ★ ★ ★ ☆ 4/5Legendrian KnotsContact GeometryThurston-Bennequin Invariant
Formal & Physical Sciences MathematicsENYasemin Yildirim - Constructing and classifying Legendrian doubles - IPAM at UCLAYasemin YildirimAugust 25, 2026 20 min★ ★ ★ ★ ☆ 4/5Legendrian KnotsSymplectic GeometryContact Geometry
Formal & Physical Sciences MathematicsENStephen Becker - Some new bi-fidelity methods for UQ and optimization - IPAM at UCLAStephen BeckerMay 22, 2026 44 min★ ★ ★ ★ ☆ 4/5Bi-FidelityUncertainty QuantificationOptimization
Applied Sciences & Engineering PhysicsENSimon Van Mulders - Model-aided TCV operation through routine pre-shot, real-time and post-shot...Simon Van MuldersMay 22, 2026 41 min★ ★ ★ ★ ☆ 4/5TokamakPlasma ControlRAPTOR
Formal & Physical Sciences AI — Models & ResearchENShancong Mou - Derivative-Informed Training of Neural Operators on the Fly - IPAM at UCLAShancong MouMay 22, 2026 39 min★ ★ ★ ★ ☆ 4/5Neural OperatorsDerivative-Informed TrainingPDE-Constrained Optimization
