
Institute for Pure & Applied Mathematics (IPAM)
The Institute for Pure and Applied Mathematics (IPAM) is a National Science Foundation Math Institute at the University of California, Los Angeles (UCLA) that fosters the interaction of mathematics with a broad range of science and technology, builds new interdisciplinary research communities, promotes mathematical innovation, and engages and transforms the world through mathematics. IPAM fulfills its mission through workshops and programs that connect mathematics and other disciplines or multiple areas of mathematics. These activities bring in thousands of visitors annually from academia, government, and industry. The NSF has encouraged IPAM to make the scientific presentations of our speakers available to a wider audience. While this YouTube channel contains many of our most popular videos, our full video archive is available at www.ipam.ucla.edu/videos.
Episodes


Bobak Toussi Kiani - Quantum Machine Learning - IPAM at UCLA

Jens Palsberg - Introduction to Quantum Algorithms - IPAM at UCLA

Fall 2023 Info Session - Mathematical and Computational Challenges in Quantum Computing - IPAM UCLA

Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA

Johnathan Hanke - Computer-Assisted Proofs in the Arithmetic of Quadratic Forms - IPAM at UCLA

Petra Hozzova - Automation of Induction in Saturation - IPAM at UCLA

Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA

Maria Ines de Frutos Fernandez - Formalizing Norm Extensions and Applications to Number Theory

James Davenport - How to prove a calculation correct? - IPAM at UCLA

Pascal Fontaine - SMT: quantifiers, and future prospects - IPAM at UCLA

Jason Rute - Deep learning in interactive theorem proving - IPAM at UCLA

Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA

Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA

Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq

Anne Baanen - Computing with or despite the computer - IPAM at UCLA

Haniel Barbosa - Better SMT proofs for certifying compliance and correctness - IPAM at UCLA

Adam Wagner - Finding counterexamples to conjectures via reinforcement learning - IPAM at UCLA

Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA

Marc Lackenby - Using machine learning to formulate mathematical conjectures - IPAM at UCLA
Follow this podcast in Podwise
Sign in to get AI summaries, transcripts and mind maps for any episode, including new ones.
