Videos

Start date cannot be after end date.
Scaling Hamilton-Jacobi Reachability Analysis for Robotics: Multi-agent Systems to Real-time Computation Thumbnail

Scaling Hamilton-Jacobi Reachability Analysis for Robotics: Multi-agent Systems to Real-time Computation

Presenter
  • Somil Bansal
April 3, 2020
IPAM
An overview over the inductive conditions for the global-local conjectures Thumbnail

An overview over the inductive conditions for the global-local conjectures

Presenter
  • Britta Späth
February 1, 2018
SLMath
Algorithms for nonlinear analysis, optimization, and control of locomotion Thumbnail

Algorithms for nonlinear analysis, optimization, and control of locomotion

Presenter
  • Russ Tedrake
June 2, 2010
IMA
Constraining the outputs of ReLu neural networks Thumbnail

Constraining the outputs of ReLu neural networks

Presenter
  • Yulia Alexandr
July 21, 2025
IMSI
Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA Thumbnail

Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA

Presenter
  • Patrick Massot
February 15, 2023
IPAM
Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA Thumbnail

Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA

Presenter
  • Tony Wu
February 15, 2023
IPAM
How will we do mathematics in 2030 ? Thumbnail

How will we do mathematics in 2030 ?

Presenter
  • Michael R. Douglas
December 17, 2019
IAS
Optimal Asset Allocation with Stochastic Interest Rates in Regime-Switching Models Thumbnail

Optimal Asset Allocation with Stochastic Interest Rates in Regime-Switching Models

Presenter
  • Ruihua Liu
June 15, 2018
IMA
Energy Drift in Molecular Dynamics Simulations: What causes it, can we quantify its affects, and should we even try? Thumbnail

Energy Drift in Molecular Dynamics Simulations: What causes it, can we quantify its affects, and should we even try?

Presenter
  • Paul Patrone
February 24, 2016
IMA
On Optimal Control of Heat and Power Flow Thumbnail

On Optimal Control of Heat and Power Flow

Presenter
  • Anders Rantzer
June 14, 2013
IMA
Citizen Cyber-Science Thumbnail

Citizen Cyber-Science

Presenter
  • David Anderson
October 12, 2007
SLMath

Verified Mathematical Reasoning with Lean and Language Models

Presenter
  • Robert Joseph George
April 26, 2025
ICERM