Adam Topaz - The Liquid Tensor Experiment - IPAM at UCLA Published 2023-02-13 Download video MP4 360p Recommendations 55:28 Jason Rute - Deep learning in interactive theorem proving - IPAM at UCLA 54:32 Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA 48:48 Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA 08:02 how to make a small FM radio , homemade radio, My first project 11:17 Discover UCLA Engineering- Electrical and Computer Engineering Department 1:03:37 Peter Todd - Traces of search in space and mind - IPAM at UCLA 13:31 Marco Tempest (NASA Jet Propulsion Laboratory): Inventing the Impossible Similar videos 43:54 Kevin Buzzard: Mathematics and the Computer with G-Research 47:15 Terry Gannon | June 22, 2022 | Exotic quantum subgroups for any Lie algebra More results