Mathématiques
et Interactions
-
Les vidéos associées à Mandarine AudiovisuelVoir +
![Language and Mathematics in the Time of AI. Philosophical and Theoretical Perspectives]()
01:07:51publiée le 5 janvier 2026Language and Mathematics in the Time of AI. Philosophical and Theoretical Perspectives
De Juan Luis Gastaldi
![Organising large proofs: techniques, tools, and future]()
01:07:11publiée le 23 décembre 2025Organising large proofs: techniques, tools, and future
De Georges Gonthier
![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
![Waterproof: transforming a proof assistant into an educational tool]()
01:02:14publiée le 15 décembre 2025Waterproof: transforming a proof assistant into an educational tool
De Jim Portegies
![Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence]()
01:06:05publiée le 15 décembre 2025Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
De Cyril Cohen
![Proof Assistant Assistants: From teaching Rocq to LLM-assisted proofs]()
58:23publiée le 15 décembre 2025Proof Assistant Assistants: From teaching Rocq to LLM-assisted proofs
De Guillaume Baudart , Emilio Jesús Gallego Arias
