Tubidy
    Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA

    Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA

    37:30 |
    Download MP3

    Related Videos

    Boris Hanin - Neural Network Scaling Limits - IPAM at UCLA 1:00:36

    Boris Hanin - Neural Network Scaling Limits - IPAM at UCLA

    Wu Lin - A framework for designing (non-diagonal) adaptive training methods - IPAM at UCLA 49:10

    Wu Lin - A framework for designing (non-diagonal) adaptive training methods - IPAM at UCLA

    Nikos Tsilivis - The Price of Implicit Bias in Robust ML - IPAM at UCLA 46:29

    Nikos Tsilivis - The Price of Implicit Bias in Robust ML - IPAM at UCLA

    Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA 54:44

    Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA

    Pavel Galashin - Introduction to cluster algebras (Part 1) - IPAM at UCLA 1:05:41

    Pavel Galashin - Introduction to cluster algebras (Part 1) - IPAM at UCLA

    Math Internships and Career Mentors - RIPS Summer Program at UCLA 1:31

    Math Internships and Career Mentors - RIPS Summer Program at UCLA

    Nicolas Delfosse - Introduction to quantum error correction, part 1/3 - IPAM at UCLA 1:15:33

    Nicolas Delfosse - Introduction to quantum error correction, part 1/3 - IPAM at UCLA

    Polyplane at IPAM at UCLA 0:31

    Polyplane at IPAM at UCLA

    Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA 37:30

    Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA

    Mathematics of Intelligences - Fall 2024 - IPAM at UCLA 30:03

    Mathematics of Intelligences - Fall 2024 - IPAM at UCLA

    Marc Lackenby - Using machine learning to formulate mathematical conjectures - IPAM at UCLA 50:59

    Marc Lackenby - Using machine learning to formulate mathematical conjectures - IPAM at UCLA

    Nicole Sanderson - The ABCs of topological data analysis for matrix analysis - IPAM at UCLA 50:55

    Nicole Sanderson - The ABCs of topological data analysis for matrix analysis - IPAM at UCLA

    John Baez - Categories: the Mathematics of Connection - IPAM at UCLA 22:00

    John Baez - Categories: the Mathematics of Connection - IPAM at UCLA

    Michael Mahoney: "Why Deep Learning Works: Implicit Self-Regularization in Deep Neural Networks" 1:00:12

    Michael Mahoney: "Why Deep Learning Works: Implicit Self-Regularization in Deep Neural Networks"

    Johannes Blaschke - Complex Workflows 1 - IPAM at UCLA 1:10:12

    Johannes Blaschke - Complex Workflows 1 - IPAM at UCLA

    Cynthia Dwork - The Multi-X Framework Pt. 1/4 - IPAM at UCLA 1:19:41

    Cynthia Dwork - The Multi-X Framework Pt. 1/4 - IPAM at UCLA

    Srini Turaga - How to simulate a connectome? - IPAM at UCLA 51:42

    Srini Turaga - How to simulate a connectome? - IPAM at UCLA

    Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA 54:32

    Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA

    Non-commutative Optimal Transport - Spring 2025 - IPAM at UCLA 54:42

    Non-commutative Optimal Transport - Spring 2025 - IPAM at UCLA

    Michael Freedman - Entanglement of Sections - IPAM at UCLA 51:09

    Michael Freedman - Entanglement of Sections - IPAM at UCLA