Start date cannot be after end date.
Verified Mathematical Reasoning with Lean and Language Models
Presenter
- Robert Joseph George
April 26, 2025
ICERM
Perception and Learning for Autonomous Driving (Part 2/2)
Presenter
- Jana Kosecka
September 24, 2020
IPAM
Perception and Learning for Autonomous Driving (Part 1/2)
Presenter
- Jana Kosecka
September 23, 2020
IPAM
Discrete Curvature Functionals — Applications and Challenges
Presenter
- Max Wardetzky
April 2, 2019
IPAM
Limit Theorems for PCA Like Analysis on Non-Euclidean Spaces
Presenter
- Stephan Huckemann
April 2, 2019
IPAM
Mutiscale materials modeling: new takes on old problems
Presenter
- Maria Emelianenko
November 14, 2012
IPAM
Mathematical modeling of interfacial dynamics in polycrystals
Presenter
- Maria Emelianenko
September 13, 2012
IPAM
Theoretical and Computational Aspects of Statistically Stable Adaptive Coherent Interferometric Imaging in Random Media
Presenter
- Liliana Borcea
October 18, 2005
IMA
