Start date cannot be after end date.
Recent strategies and challenges for reproducibility in global climate modeling
Presenter
- Katherine Evans
December 11, 2012
ICERM
Orthogonality Broadcasting and Quantum Position Verification
Presenter
- Eric Chitambar
October 2, 2024
IMSI
What does it take to do reproducible computational science, What stands in our way
Presenter
- Bill Rider
December 10, 2012
ICERM
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
Presenter
- Kaiyu Yang
April 26, 2025
ICERM
Random Walks and Diffusion on Simplicial Complexes: From Coverage Verification to a Simplicial Page Rank
Presenter
- Ali Jadbabaie
October 29, 2013
IMA
Dynamics of viscous shock waves.<br> Lecture 2: Verification of the Evans condition
Presenter
- Kevin Zumbrun
July 16, 2009
IMA
Trust and Distrust in ML: Privacy, Verification and Robustness
Presenter
- Shafi Goldwasser
April 14, 2025
IAS
Foundations and Frontiers of Probabilistic Proofs (Zürich, Switzerland) Summer School: "Lecture 11: PCPs with Sublinear Verification"
Presenter
- Alessandro Chiesa
July 24, 2023
SLMath