Start date cannot be after end date.
Data-Driven Methods for Two Inference Problems in Mathematical Biology via Optimal Transport
Presenter
- Wenjun Zhao
May 8, 2025
ICERM
Sequential Bayesian Inference for Uncertainty Quantification of Biological Systems
Presenter
- Andrea Arnold
May 7, 2025
ICERM
Quantification of total uncertainty in modeling biological systems
Presenter
- George Karniadakis
May 6, 2025
ICERM
Efficient Krylov subspace methods for large-scale hierarchical Bayesian inverse problems
Presenter
- Julianne Chung
May 6, 2025
ICERM
Bayesian methods for addressing the muscle recruitment problem
Presenter
- Erkki Somersalo
May 5, 2025
ICERM
Sensitivity Analysis and Uncertainty Quantification for Pharmacokinetic Models
Presenter
- Ralph Smith
May 5, 2025
ICERM
From Lean to Natural Language and Back: Interfaces for Formal Proofs
Presenter
- Kyle Miller
April 26, 2025
ICERM
Verified Mathematical Reasoning with Lean and Language Models
Presenter
- Robert Joseph George
April 26, 2025
ICERM
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
Presenter
- Kaiyu Yang
April 26, 2025
ICERM