Videos

Start date cannot be after end date.

Verified Mathematical Reasoning with Lean and Language Models

Presenter
  • Robert Joseph George
April 26, 2025
ICERM
Christopher Hillar - From McCulloch-Pitts to Retina - IPAM at UCLA Thumbnail

Christopher Hillar - From McCulloch-Pitts to Retina - IPAM at UCLA

Presenter
  • Christopher Hillar
November 4, 2024
IPAM
Josh Bongard - Evolutionary computation - IPAM at UCLA Thumbnail

Josh Bongard - Evolutionary computation - IPAM at UCLA

Presenter
  • Josh Bongard
September 13, 2024
IPAM