Videos

Start date cannot be after end date.

Verified Mathematical Reasoning with Lean and Language Models

Presenter
  • Robert Joseph George
April 26, 2025
ICERM

In Search of Markov Solutions

Presenter
  • Vivek Borkar
September 15, 2024
ICERM

Higher-order graph algorithms: Hypergraphs vs. tensors.

Presenter
  • David Gleich
January 8, 2024
ICERM
Plenary Talk: Selected Applications of Statistical Methods to Biological Research Studies. From a Mathematics Student to an Applied Biostatistician. Thumbnail

Plenary Talk: Selected Applications of Statistical Methods to Biological Research Studies. From a Mathematics Student to an Applied Biostatistician.

Presenter
  • Ramon Durazo-Arvizu
June 9, 2023
IMSI
Plenary Talk: Computing@Argonne and Careers@Labs Thumbnail

Plenary Talk: Computing@Argonne and Careers@Labs

Presenter
  • Sven Leyffer
June 8, 2023
IMSI
Houlin Xin - AI inroads in imaging sciences for materials research - IPAM at UCLA Thumbnail

Houlin Xin - AI inroads in imaging sciences for materials research - IPAM at UCLA

Presenter
  • Houlin Xin
October 24, 2022
IPAM

Timnit Gebru - Institutional incentive structures and problematic paradigms in AI research

Presenter
  • Timnit Gebru
July 18, 2022
IPAM
The Use of Autonomous Vehicles for Last-Mile Deliveries Thumbnail

The Use of Autonomous Vehicles for Last-Mile Deliveries

Presenter
  • Ann Campbell
November 18, 2020
IPAM
Chasing the COVID-19 Pandemic through Modeling Thumbnail

Chasing the COVID-19 Pandemic through Modeling

Presenter
  • Vittoria Colizza
August 10, 2020
IPAM
Deep Learning Opening Workshop: A Survey of Statistical Research in Neural Networks and Deep Learning, Xiaoming Huo Thumbnail

Deep Learning Opening Workshop: A Survey of Statistical Research in Neural Networks and Deep Learning, Xiaoming Huo

August 12, 2019
SAMSI

Keynote: When Glucose Control Goes Wrong: Mathematics in Pharmaceutical Research

Presenter
  • Carolyn Cho
August 8, 2018
MBI
Aut(F_5) has Kazhdan's property (T) Thumbnail

Aut(F_5) has Kazhdan's property (T)

Presenter
  • Narutaka Ozawa
April 30, 2018
IPAM