Mathématiques
et Interactions
-
Les vidéos associées à Informatique et langageVoir +
![Towards autoformalization of textbook mathematics with natural proof checking]()
58:14publiée le 15 décembre 2025Towards autoformalization of textbook mathematics with natural proof checking
De De Lon Adrian
![Deciding What Game to Play, What Mathematics Problem to Solve]()
47:17publiée le 23 juin 2025Deciding What Game to Play, What Mathematics Problem to Solve
De Katie Collins
![Machine Learning in PDE: Discovering New, Unstable Solutions]()
55:16publiée le 23 juin 2025Machine Learning in PDE: Discovering New, Unstable Solutions
De Javier Gómez-Serrano
![Universal Optimal Control, Reinforcement Learning, and Reaching Goals in LLMs]()
54:02publiée le 30 mai 2025Universal Optimal Control, Reinforcement Learning, and Reaching Goals in LLMs
De Yann Ollivier
