Tubidy
    Daniel McNamee - Studies on strong intuitive reasoning in human experts - IPAM at UCLA

    Daniel McNamee - Studies on strong intuitive reasoning in human experts - IPAM at UCLA

    59:00 |
    Download MP3

    Related Videos

    Stanislav Minsker - New performance guarantees for Tukey’s median - IPAM at UCLA 49:24

    Stanislav Minsker - New performance guarantees for Tukey’s median - IPAM at UCLA

    James Pascoe - Beyond physical maze solvers via modern portfolio theory - IPAM at UCLA 46:53

    James Pascoe - Beyond physical maze solvers via modern portfolio theory - IPAM at UCLA

    Xuexin Wei - Learning and Inference with Prior Knowledge - IPAM at UCLA 1:00:25

    Xuexin Wei - Learning and Inference with Prior Knowledge - IPAM at UCLA

    Gregory Beylkin - On algorithms in high dimensions - IPAM at UCLA 50:24

    Gregory Beylkin - On algorithms in high dimensions - 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

    Natalia Velez - Games as a window into large-scale social phenomena - IPAM at UCLA 1:00:34

    Natalia Velez - Games as a window into large-scale social phenomena - 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

    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

    Nicholas Chilton - Molecular Spin Qubits I of II - IPAM at UCLA 1:27:58

    Nicholas Chilton - Molecular Spin Qubits I of II - IPAM at UCLA

    Daniel McNamee - Studies on strong intuitive reasoning in human experts - IPAM at UCLA 59:01

    Daniel McNamee - Studies on strong intuitive reasoning in human experts - 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

    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

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

    Johannes Blaschke - Complex Workflows 1 - IPAM 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

    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

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

    Mathematics of Intelligences - Fall 2024 - 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

    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

    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