Signin

Jason Rute - Deep learning in interactive theorem proving - IPAM at UCLA

Institute for Pure & Applied Mathematics (IPAM) • October 7, 2023

Video Thumbnail

You May Also Like

Institute for Pure & Applied Mathematics (IPAM)

About

No channel description available.

Latest Posts

Video Thumbnail

Peter Shor - Quantum Computing - Green Family Lecture at IPAM at UCLA

Institute for Pure & Applied Mathematics (IPAM)

Video Thumbnail

Jason Rute - Deep learning in interactive theorem proving - IPAM at UCLA

Institute for Pure & Applied Mathematics (IPAM)

Video Thumbnail

Terence Tao: The Erdős Discrepancy Problem

Institute for Pure & Applied Mathematics (IPAM)

Video Thumbnail

Iain Murray: "Introduction to MCMC for Deep Learning"

Institute for Pure & Applied Mathematics (IPAM)