Videos

Start date cannot be after end date.

Takaharu Yaguchi - Geometric-Structure-Preserving Machine Learning for Cross-System Prediction of Conservative/Dissipative Hamiltonian Systems

September 18, 2026
IPAM

Robert Joseph George - Verified Scientific Machine Learning in Lean

September 18, 2026
IPAM

Matthew Sottile - Physics to Simulation: The Deep Stack of Formalization

September 18, 2026
IPAM

Andrew Appel - Building a Formally Verified Finite Element Method Solver, One Component At a Time

September 18, 2026
IPAM

Koji Hashimoto - On the interpretability of neural network solutions of PDEs in theoretical physics

September 18, 2026
IPAM

Bhavik Mehta - Formally Verified Numerics for Differential Equations

September 18, 2026
IPAM

Kazuaki Tanaka - Constructing Certified Enclosures with Neural Sub- and Super-Solutions

September 17, 2026
IPAM

Samuel Pollard - Formal Verification of High Consequence Systems

September 17, 2026
IPAM

Allison Baker - Is it still correct? Quality assurance for an Earth System Model

September 17, 2026
IPAM

Terence Tao - Reflections on the workshop

September 4, 2026
IPAM

Paul Riechers - The shape of beliefs and abstraction in neural networks

September 4, 2026
IPAM

Eunice Jun - Imagining a new future for science

September 4, 2026
IPAM