Videos

Start date cannot be after end date.

Verified Mathematical Reasoning with Lean and Language Models

Presenter
  • Robert Joseph George
April 26, 2025
ICERM
Asymptotic spectra and Applications I Thumbnail

Asymptotic spectra and Applications I

Presenter
  • Jeroen Zuiddam
October 8, 2019
IAS
Query Driven Visualization Accelerates Scientific Insight Thumbnail

Query Driven Visualization Accelerates Scientific Insight

Presenter
  • Wes Bethel
October 12, 2007
SLMath
High Dimensional Expanders and Ramanujan Complexes Thumbnail

High Dimensional Expanders and Ramanujan Complexes

Presenter
  • Alexander Lubotzky
December 8, 2020
IAS
Math at IBM Thumbnail

Math at IBM

Presenter
  • Brenda Dietrich
April 3, 2009
IMA
Localized operator compression for elliptic operators Thumbnail

Localized operator compression for elliptic operators

Presenter
  • Tom Hou
February 1, 2017
IPAM

Fairness in Redistricting

Presenter
  • Jonathan Mattingly
March 9, 2021
ICERM