David Mcallester

  1. Title:
    MathZero, The Classification Problem, and Set-Theoretic Type Theory
    Speaker:
    David Mcallester

    Link:
    https://www.ias.edu/video/machinelearning/2020/0514-DavidMcAllester

  2. Title:
    Dependent Type Theory from the Perspective of Mathematics, Physics, and (...)
    Speaker:
    David Mcallester

    Link:
    https://www.youtube.com/watch?v=qHTqj_7QHzA