Videos

Start date cannot be after end date.

Can black holes evaporate past extremality?

Presenter
  • Samuel Gralla
January 6, 2026
ICERM

Verified Mathematical Reasoning with Lean and Language Models

Presenter
  • Robert Joseph George
April 26, 2025
ICERM