Mathematics
and Interactions
-
Videos linked to automated reasoningMore +
![Some remarks about machine learning and (un)natural proving]()
01:01:18published on December 15, 2025Some remarks about machine learning and (un)natural proving
By Josef Urban
![Dependent Type Theory from the Perspective of Mathematics, Physics, and Artificial Intelligence]()
51:02published on May 13, 2022Dependent Type Theory from the Perspective of Mathematics, Physics, and Artificial Intelligence
By David McAllester
