Start date cannot be after end date.
Dániel Virosztek - Optimal transport by quantum channels: non-quadratic problems, metric properties
Presenter
- Dániel Virosztek
April 28, 2025
IPAM
Dimitri Shlyakhtenko - Transport in free probability theory - IPAM at UCLA
Presenter
- Dimitri Shlyakhtenko
April 28, 2025
IPAM
Di Fang - How Mathematical Analysis can help better understand quantum algorithms - IPAM at UCLA
Presenter
- Di Fang
April 28, 2025
IPAM
Roy Araiza - Lipschitz Cost of Quantum Channels on von Neumann Algebras - IPAM at UCLA
Presenter
- Roy Araiza
April 28, 2025
IPAM
Plectic Lie algebra action on the cohomology of Hilbert modular varieties
Presenter
- Lue Pan
April 28, 2025
IAS
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
Detection, Estimation, and Reconstruction in Networks: Coherence-free Entrywise Estimation of Eigenvectors in Low-rank Signal-plus-noise Matrix Models
Presenter
- Keith Levin
April 25, 2025
SLMath
Detection, Estimation, and Reconstruction in Networks: Estimating the number of communities in networks
Presenter
- Andressa Cerqueira
April 25, 2025
SLMath