Start date cannot be after end date.
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
Presenter
- Kaiyu Yang
April 26, 2025
ICERM
A (somewhat) gentle introduction to Bayesian optimization for materials
Presenter
- Sterling G.
April 23, 2025
IMSI
Accelerated predictions of the sublimation enthalpy of organic materials with machine learning
Presenter
- Yifan Liu
April 21, 2025
IMSI
Simone Rademacher - Large deviations for Bose-Einstein condensates - IPAM at UCLA
Presenter
- Simone Rademacher
April 3, 2025
IPAM
Julia Liebert - Ensemble density matrix functional theory for excited states - IPAM at UCLA
Presenter
- Julia Liebert
April 1, 2025
IPAM
Nick Rubin - The sum-of-squares hierarchy and faster quantum simulation by spectrum amplification
Presenter
- Nick Rubin
April 1, 2025
IPAM
Subspace accelerated measure transport method for sequential experimental design
Presenter
- Karina Koval
April 1, 2025
IMSI
Hot Topics: Interactions between Harmonic Analysis, Homogeneous Dynamics, and Number Theory: A Journey Through Normality
Presenter
- Malabika Pramanik
March 7, 2025
SLMath
Sara Del Valle - Why population heterogeneity matters for modelling infectious diseases
Presenter
- Sara Del Valle
March 6, 2025
IPAM
Computational Methods for Design under Uncertainty in Accelerating the Innovation of Complex Material Systems
Presenter
- Wei Chen
March 5, 2025
IMSI