Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA Published -- Download video MP4 360p Recommendations 55:28 Jason Rute - Deep learning in interactive theorem proving - IPAM at UCLA 58:18 Theory of Mind May Have Spontaneously Emerged in Large Language Models 55:19 Adam Topaz - The Liquid Tensor Experiment - IPAM at UCLA 18:14 Interview of Arthur Gretton ML Researcher at Google DeepMind 23:29 llm.c's Origin and the Future of LLM Compilers - Andrej Karpathy at CUDA MODE 51:11 Pathways Language Model and Model Scaling - Aakanksha Chowdhery | Stanford MLSys #69 48:48 Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA 55:47 EI Seminar - Luke Zettlemoyer - Large Language Models: Will they keep getting bigger? 24:07 AI can't cross this line and we don't know why. 57:24 Terence Tao at IMO 2024: AI and Mathematics 20:18 Why Does Diffusion Work Better than Auto-Regression? 36:17 Jay Alammar - Large Language Models for Real-World Applications - A Gentle Intro 1:16:48 Hongjing Lu - Computational Models of Human Cognition, Pt. 2 of 2 - IPAM at UCLA 22:43 How might LLMs store facts | Chapter 7, Deep Learning Similar videos 37:30 Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA 52:18 Geordie Williamson - What can the working mathematician expect from deep learning? - IPAM at UCLA 00:32 Techkwondo - FinalDemo - Yuhuai Combo 54:44 Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA 1:01:44 Anne Baanen - Computing with or despite the computer - IPAM at UCLA 50:15 Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA 01:26 Meet our 2022 IMO team: Tony (Yuzheng) Wu 00:44 在UCLA校园采访了应用数学+统计学双专业的亚裔小哥～快点击视频看看学霸当年申请UCLA，考了几门AP？SAT又考了多少分呢？🤔 19:49 DASIA2022: Searching for the Hidden Treasure: Formalization of Textual Requirements by AI More results