Mathématiques
et Interactions
-
Les vidéos associées à Informatique et langageVoir +
![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
![Search, Reason or Recombine? Paradigms for Scaling Formal Proving]()
53:39publiée le 30 mai 2025Search, Reason or Recombine? Paradigms for Scaling Formal Proving
De Fabian Glöckle
