Videos

Start date cannot be after end date.

Verified Mathematical Reasoning with Lean and Language Models

Presenter
  • Robert Joseph George
April 26, 2025
ICERM
Learning-based Model Predictive Control - Towards Safe Learning in Control Thumbnail

Learning-based Model Predictive Control - Towards Safe Learning in Control

Presenter
  • Melanie Zeilinger
February 26, 2020
IPAM
Legal Theorems of Privacy Thumbnail

Legal Theorems of Privacy

Presenter
  • Kobbi Nissim
April 13, 2020
IAS