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
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