Start date cannot be after end date.
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
Presenter
- Kaiyu Yang
April 26, 2025
ICERM
Priya Donti - Optimization-in-the-loop AI for energy and climate - IPAM at UCLA
Presenter
- Priya Donti
February 28, 2023
IPAM
Hybrid physics + AI digital twins of the climate system
Presenter
- Gianmarco Mengaldo
December 2, 2025
IMSI
Almost nearly perfect Bayesian inversion with physics-informed deep generative models: Applications to computational imaging
Presenter
- Marcelo Pereyra
March 2, 2026
ICERM
Ida Momennejad - Evaluation & architecture of intelligence in humans, LLM, & generative AI for games
Presenter
- Ida Momennejad
September 25, 2024
IPAM
Mahdi Soltanolkotabi - Machine Learning and Computational Imaging
Presenter
- Mahdi Soltanolkotabi
September 13, 2022
IPAM
Theory-informed AI/ML for Microscopy & Spectroscopy (tentative)
Presenter
- Maria Chan
March 28, 2024
IMSI
Richard Hennig & Jason Gibson - AI-driven workflows for the discovery of novel superconductors
Presenters
- Richard Hennig
- Jason Gibson
May 5, 2023
IPAM