Videos

Start date cannot be after end date.

Verified Mathematical Reasoning with Lean and Language Models

Presenter
  • Robert Joseph George
April 26, 2025
ICERM
Neural network verification as piecewise linear optimization Thumbnail

Neural network verification as piecewise linear optimization

Presenter
  • Joseph Huchette
February 23, 2021
IPAM