Start date cannot be after end date.
MSRI / SLMath 40th Anniversary Symposium: Machine Assisted Proofs
Presenter
- Terence Tao
April 13, 2023
SLMath
Optimal Scheduling of Proactive Care with Patient Deterioration
Presenter
- Jing Dong
April 6, 2023
IMSI
Data-Driven Hospital Admission Control: A Contextual Learning Approach
Presenter
- Cong Shi
April 5, 2023
IMSI
Towards Digital Twins for NVIDIA’s Earth-2 Initiative: Pushing the Limits of Deep Learning for Earth System Emulation
Presenter
- Karthik Kashinath
April 1, 2023
IMSI
Some topological properties of subgaussian fields of Riemannian manifolds
Presenter
- Daniel Perez
March 23, 2023
IMSI
Jason Rute - Deep learning in interactive theorem proving - IPAM at UCLA
Presenter
- Jason Rute
February 16, 2023
IPAM
John Harrison - Formalization and Automated Reasoning: A Personal and Historical Perspective
Presenter
- John Harrison
February 13, 2023
IPAM
Alexandre Tkatchenko - Fully Quantum (Bio)Molecular Simulations: Dream or Reality? - IPAM at UCLA
Presenter
- Alexandre Tkatchenko
January 25, 2023
IPAM
Systematically Generating Hierarchies of Machine-Learning Models, from Equation Discovery to Deep Neural Networks
Presenter
- Tom Beucler
November 4, 2022
IMSI
Probabilistic forecast of extreme heat waves using convolutional neural networks and rare event simulations
Presenter
- Freddy Bouchet
November 2, 2022
IMSI
Yonina Eldar - Model Based Deep Learning with Application to Super Resolution - IPAM at UCLA
Presenter
- Yonina Eldar
October 27, 2022
IPAM