Start date cannot be after end date.
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
Detection, Estimation, and Reconstruction in Networks: The reasonable effectiveness of continuous time branching processes in understanding evolving network models
Presenter
- Shankar Bhamidi
April 25, 2025
SLMath
