Videos

Start date cannot be after end date.
Arithmetic Applications of Random Multiplicative Functions Thumbnail

Arithmetic Applications of Random Multiplicative Functions

Presenter
  • Max Wenqiang Xu
May 8, 2025
IAS

Verified Mathematical Reasoning with Lean and Language Models

Presenter
  • Robert Joseph George
April 26, 2025
ICERM
Column and Row Subset Selection using Nuclear Scores Thumbnail

Column and Row Subset Selection using Nuclear Scores

Presenter
  • Michael Lindsey
April 2, 2025
IMSI

Higher Order Rigidity and Higher Order Derivative Tests

Presenter
  • Steven Gortler
March 17, 2025
ICERM
Approximating Hyperbolic Lattices by Cubulations Thumbnail

Approximating Hyperbolic Lattices by Cubulations

Presenter
  • Eduardo Reyes
March 4, 2025
IAS

Optimal disc and sphere packings

Presenter
  • Daria Pchelina
February 10, 2025
ICERM