Videos

Start date cannot be after end date.

Verified Mathematical Reasoning with Lean and Language Models

Presenter
  • Robert Joseph George
April 26, 2025
ICERM
Language Generation in the Limit Thumbnail

Language Generation in the Limit

Presenter
  • Jon Kleinberg
April 21, 2025
IAS
Well-posedness and front propagation for aerotaxis models Thumbnail

Well-posedness and front propagation for aerotaxis models

Presenter
  • Christopher Henderson
December 13, 2024
IMSI
Mayank Mehta - Dynamics of brain's deep network - IPAM at UCLA Thumbnail

Mayank Mehta - Dynamics of brain's deep network - IPAM at UCLA

Presenter
  • Mayank Mehta
October 17, 2024
IPAM
Boris Hanin - Neural Network Scaling Limits - IPAM at UCLA Thumbnail

Boris Hanin - Neural Network Scaling Limits - IPAM at UCLA

Presenter
  • Boris Hanin
October 14, 2024
IPAM
Anticoncentration and Entanglement in Gaussian Boson Sampling Thumbnail

Anticoncentration and Entanglement in Gaussian Boson Sampling

Presenter
  • Alexey Gorshkov
September 16, 2024
IMSI