Start date cannot be after end date.
Machine Learning & HPC Enabled Prediction in Tokamaks
Presenter
- William Tang
September 13, 2025
ICERM
Verification and Validation for Trustworthy Scientific Machine Learning
Presenter
- Lorena A.
March 4, 2025
IMSI
Hamiltonian Systems Topical Workshop 1 - Noether theorem for magnetised plasmas.
Presenter
- Natalia Tronko
October 10, 2018
SLMath
Linear cross-entropy certification of quantum computational advantage in Gaussian Boson Sampling
Presenter
- Javier Martinez-Cifuentes
September 17, 2024
IMSI
Verification within Complexity: Comparing Spatial Fields
Presenter
- Eric Gilleland
April 25, 2018
IMA
Efficient Verification of Computation on Untrusted Platforms
Presenter
- Yael Kalai
February 13, 2023
IAS
Formal Verification and Synthesis of Spatial Temporal Pattern for Networked Systems
Presenter
- Zhaodan Kong
April 11, 2016
MBI
Interactive theorem proving, automated reasoning, and dynamical systems
Presenter
- Jeremy Avigad
April 5, 2016
ICERM
Efficient Batch Verification: Recent Progress and Challenges
Presenter
- Ron Rothblum
December 9, 2024
IAS
Matthias Caro - Classical Verification of Quantum Learning - IPAM at UCLA
Presenter
- Matthias Caro
October 17, 2023
IPAM
Neural network verification as piecewise linear optimization
Presenter
- Joseph Huchette
February 23, 2021
IPAM