Start date cannot be after end date.
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
Presenter
- Kaiyu Yang
April 26, 2025
ICERM
New Estimates for Navier–Stokes and the Inviscid Limit Problem
Presenter
- Jincheng Yang
November 26, 2024
IAS
Fanny Yang - Surprising phenomena of max-lp-margin classifiers in high dimensions - IPAM at UCLA
Presenter
- Fanny Yang
October 17, 2024
IPAM
Energy Dissipation of Navier-Stokes Equation with Non-Characteristic Boundary
Presenter
- Jincheng Yang
October 2, 2024
IAS
Lattice Yang-Mills theory in the large N limit via random surfaces
Presenter
- Jacopo Borga
July 9, 2024
IMSI
Nonlinear Model Reduction for Slow-Fast Stochastic Systems near Unknown Invariant Manifolds
Presenter
- Sichen Yang
May 13, 2024
IMSI
Symmetric Tensor Decompositions for Diagonal Gaussian Mixtures
Presenter
- Zi Yang
January 8, 2024
ICERM