Videos

Start date cannot be after end date.

Verified Mathematical Reasoning with Lean and Language Models

Presenter
  • Robert Joseph George
April 26, 2025
ICERM
Accelerated materials innovation using AI/ML and Digital Twins Thumbnail

Accelerated materials innovation using AI/ML and Digital Twins

Presenter
  • Surya Kalidindi
April 24, 2025
IMSI
Integrating Autonomy into Transportation Systems Thumbnail

Integrating Autonomy into Transportation Systems

Presenter
  • Cathy Wu
February 27, 2019
IPAM

Complex Analysis in PNT+ and Real Analysis as a Game

Presenter
  • Alex Kontorovich
May 14, 2026
ICERM

ODEs and Integral Curves on Manifolds

Presenter
  • Winston Yin
May 12, 2026
ICERM

Interpreting AI solutions to the word problem in automatic groups?

Presenter
  • J. Elisenda Grigsby
September 18, 2025
ICERM
Hsin-Yuan Huang (Robert) - Classical ML for quantum problems - IPAM at UCLA Thumbnail

Hsin-Yuan Huang (Robert) - Classical ML for quantum problems - IPAM at UCLA

Presenter
  • Hsin-Yuan Huang
September 15, 2023
IPAM