Videos

Start date cannot be after end date.

Preparing for the next stage in autoformalization

Presenter
  • Jason Rute
April 25, 2025
ICERM
Detection, Estimation, and Reconstruction in Networks: The reasonable effectiveness of continuous time branching processes in understanding evolving network models Thumbnail

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

Proof Discovery as Monte Carlo Tree Search

Presenter
  • Leni Aniva
April 25, 2025
ICERM
Integrable systems and toric contact forms on ℝℙ3 Thumbnail

Integrable systems and toric contact forms on ℝℙ3

Presenter
  • Vinicius Ramos
April 25, 2025
IAS
Uncertainty Analysis of Materials AI Models using the JARVIS-Leaderboard Thumbnail

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 Thumbnail

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 Thumbnail

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 Thumbnail

Detection, Estimation, and Reconstruction in Networks: Exchangeability and vertex arrival times

Presenter
  • Peter Orbanz
April 24, 2025
SLMath
Detection, Estimation, and Reconstruction in Networks: Barriers to online algorithms for optimization from the overlap gap property. Three case studies Thumbnail

Detection, Estimation, and Reconstruction in Networks: Barriers to online algorithms for optimization from the overlap gap property. Three case studies

Presenter
  • David Gamarnik
April 24, 2025
SLMath
Lightning Talk Session Thumbnail

Lightning Talk Session

Presenter
  • Lightning Talks
April 24, 2025
IMSI
Accelerated materials innovation using AI/ML and Digital Twins Thumbnail

Accelerated materials innovation using AI/ML and Digital Twins

Presenter
  • Surya Kalidindi
April 24, 2025
IMSI
Total positivity and real Schubert calculus Thumbnail

Total positivity and real Schubert calculus

Presenter
  • Steven Karp
April 24, 2025
IAS