VideoArxiv
Home
Workshops
Speakers
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
Title:
Dependent Type Theory from the Perspective of Mathematics, Physics, and (...)
Speaker:
David Mcallester
Link:
https://www.youtube.com/watch?v=qHTqj_7QHzA
«
1
»