Start date cannot be after end date.
Data Selection in PDE-Based Inverse Problems: Insights from Randomized Linear Algebra
Presenter
- Qin Li
October 7, 2025
IMSI
From Lean to Natural Language and Back: Interfaces for Formal Proofs
Presenter
- Kyle Miller
April 26, 2025
ICERM
Verified Mathematical Reasoning with Lean and Language Models
Presenter
- Robert Joseph George
April 26, 2025
ICERM
Oliver Tse - Gradient Structures from Classical to Quantum, Part 3 of 3 - IPAM at UCLA
Presenter
- Oliver Tse
March 14, 2025
IPAM
Oliver Tse - Gradient Structures from Classical to Quantum, Part 2 of 3 - IPAM at UCLA
Presenter
- Oliver Tse
March 13, 2025
IPAM
Oliver Tse - Gradient Structures from Classical to Quantum, Part 1 of 3 - IPAM at UCLA
Presenter
- Oliver Tse
March 12, 2025
IPAM
Algebraic and Semi-Algebraic Perspectives on Phylogenetic Reconstruction
Presenter
- Marina Garrote López
November 21, 2024
ICERM
Introductory Workshop: New Frontiers in Curvature: Harmonic maps and rigidity
Presenter
- Chikako Mese
August 28, 2024
SLMath
Computational Mean-field Games: From Conventional Methods to Deep Generative Models
Presenter
- Rongjie Lai
March 12, 2024
ICERM
Justin Smith - The state of neural network interatomic potentials - IPAM at UCLA
Presenter
- Justin Smith
May 22, 2023
IPAM
