Start date cannot be after end date.
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
Learning-based Model Predictive Control - Towards Safe Learning in Control
Presenter
- Melanie Zeilinger
February 26, 2020
IPAM