Start date cannot be after end date.
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
Uncertainty Analysis of Materials AI Models using the JARVIS-Leaderboard
Presenter
- Kamal Choudhary
April 25, 2025
IMSI
Identifying Nonlinear Dynamics with High Confidence from Sparse Data
Presenter
- Ying Hung
April 25, 2025
IMSI
Detection, Estimation, and Reconstruction in Networks: Causal effect estimation under inference using mean field methods
Presenter
- Subhabrata Sen
April 24, 2025
SLMath
Detection, Estimation, and Reconstruction in Networks: Exchangeability and vertex arrival times
Presenter
- Peter Orbanz
April 24, 2025
SLMath