Institute for Pure & Applied Mathematics (IPAM) Courses

Optimization-in-the-Loop AI for Energy and Climate - IPAM at UCLA

Optimization-in-loop AI framework for climate action: enhancing ML models with physics, constraints, and decision-making processes for energy grids, building efficiency, and more.

• YouTube
• 1 hour
• Self-Paced
• Free Video

Learning to Untangle Genome Assembly Graphs - IPAM at UCLA

Explore deep learning techniques for untangling genome assembly graphs, improving accuracy and efficiency in DNA sequencing without manual intervention.

• YouTube
• 43 minutes
• Self-Paced
• Free Video

Quantum Simulation - IPAM at UCLA

Explore quantum simulation's origins, relevance, and key concepts with Nathan Wiebe. Delve into Schrödinger equations, Hamiltonian simulation, and Taylor's theorem in this comprehensive lecture.

• YouTube
• 2 hours 42 minutes
• Self-Paced
• Free Video

Introduction to Quantum Algorithms - IPAM at UCLA

Explore quantum algorithms, focusing on Grover's algorithm, with mathematical foundations, quantum circuits, and practical applications in this comprehensive introduction.

• YouTube
• 2 hours 22 minutes
• Self-Paced
• Free Video

Mathematical and Computational Challenges in Quantum Computing - IPAM UCLA

Explore mathematical and computational challenges in quantum computing through workshops and collaborations, focusing on empowering mathematics to impact quantum information science and vice versa.

• YouTube
• 20 minutes
• Self-Paced
• Free Video

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

Explore computer-assisted proofs in quadratic forms arithmetic, covering equivalence, representation, local-global principles, and modular forms. Gain insights into complex computations across mathematics.

• YouTube
• 47 minutes
• Self-Paced
• Free Video

Verifying Symbolic Computation in the HolPy Theorem Prover - IPAM at UCLA

Explore HolPy, a new proof assistant for verifying symbolic computation using a user-friendly interface similar to computer algebra systems, with examples and future directions.

• YouTube
• 52 minutes
• Self-Paced
• Free Video

Deep Learning in Interactive Theorem Proving - IPAM at UCLA

Explore deep learning's impact on interactive theorem proving, challenges in formal mathematics, and future possibilities in machine-assisted proofs.

• YouTube
• 55 minutes
• Self-Paced
• Free Video

Autoformalization with Large Language Models - IPAM at UCLA

Explore autoformalization using large language models for translating natural language math to formal proofs, advancing formal verification and AI in mathematics.

• YouTube
• 55 minutes
• Self-Paced
• Free Video

Formal Mathematics for Mathematicians and Mathematics Students - IPAM at UCLA

Explore formal mathematics' potential to revolutionize mathematical exposition, focusing on benefits beyond proof verification and its impact on mathematicians and students.

• YouTube
• 55 minutes
• Self-Paced
• Free Video

Finding Counterexamples to Conjectures via Reinforcement Learning - IPAM at UCLA

Explore reinforcement learning techniques to find counterexamples in graph theory and combinatorics, resolving open problems and improving existing solutions.

• YouTube
• 50 minutes
• Self-Paced
• Free Video

The Lean Proof Assistant - Introduction and Challenges - IPAM at UCLA

Explore the Lean proof assistant's capabilities, challenges, and impact on mathematics with Microsoft Research's Leonardo de Moura in this comprehensive introduction.

• YouTube
• 49 minutes
• Self-Paced
• Free Video

Using Machine Learning to Formulate Mathematical Conjectures - IPAM at UCLA

Explore how machine learning aids mathematicians in formulating conjectures, focusing on a discovery linking low-dimensional topology and geometry, with insights on the method's potential and limitations.

• YouTube
• 51 minutes
• Self-Paced
• Free Video

Formalization and Automated Reasoning: A Personal and Historical Perspective

Explore the history and future of machine-assisted proofs with John Harrison, covering early developments, current themes, and potential research directions in formalization and automated reasoning.

• YouTube
• 53 minutes
• Self-Paced
• Free Video

Formalizing Invisible Mathematics - IPAM at UCLA

Explore the challenges of formalizing mathematics for computers, examining unspoken conventions, proof assistant techniques, and potential solutions for flexible, user-extensible systems.

• YouTube
• 38 minutes
• Self-Paced
• Free Video