Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA Published 2023-02-17 Download video MP4 360p Recommendations 55:19 Adam Topaz - The Liquid Tensor Experiment - IPAM at UCLA 1:14:48 The Future of Mathematics? 1:09:42 The Mystery of Spinors 58:09 Soledad Villar, John Hopkins University: Exact and approximate symmetries in machine learning models 1:26:01 Richard Hofstadter speaking at UCLA 11/8/1968 07:50 The Man Who Revolutionized Computer Science With Math 55:23 Tomohiro Sasamoto - Skew RSK dynamics - IPAM at UCLA 1:01:30 Arnold Toynbee lecturing at UCLA 4/1/1963 1:49:05 2018 Fink Center Stock Pitch Competition 17:38 The moment we stopped understanding AI [AlexNet] 51:16 Vadim Gorin - Six-vertex model in the rare corners regime - IPAM at UCLA 20:04 Christopher Hitchens Q&A 44:44 Harini Desiraju - Elliptic orthogonal polynomials and their integrability - IPAM at UCLA 28:07 2017-2018 Welcome Remarks and Opening Address - Wilbur K. Woo Greater China Business Conference 46:56 Abraham Joshua Heschel speaking at UCLA 5/25/1963 Similar videos 1:08:42 Heather Macbeth: Making mathematics computer-checkable 50:32 Heather Macbeth: Kähler-Ricci solitons on crepant resolutions of finite quotients of C^n 54:32 Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA 54:44 Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA 37:30 Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA 1:25:21 Machine-Checked Proofs and the Rise of Formal Methods in Mathematics | Theoretically Speaking 04:07 Research writing: Writing a strong Abstract 46:50 [London Learning Lean] Engel's theorem in mathlib, by Oliver Nash 07:08 Apple Just Announced Allegations Are Not Truth 17:27 How to write a good abstract More results