Mathématiques
et Interactions
-
Les vidéos associées à automated reasoningVoir +
![Some remarks about machine learning and (un)natural proving]()
01:01:18publiée le 15 décembre 2025Some remarks about machine learning and (un)natural proving
De Josef Urban
![Dependent Type Theory from the Perspective of Mathematics, Physics, and Artificial Intelligence]()
51:02publiée le 13 mai 2022Dependent Type Theory from the Perspective of Mathematics, Physics, and Artificial Intelligence
De David McAllester
