Mathematics
and Interactions
-
Videos linked to Computation and LanguageMore +
![Deciding What Game to Play, What Mathematics Problem to Solve]()
47:17published on June 23, 2025Deciding What Game to Play, What Mathematics Problem to Solve
By Katie Collins
![Machine Learning in PDE: Discovering New, Unstable Solutions]()
55:16published on June 23, 2025Machine Learning in PDE: Discovering New, Unstable Solutions
By Javier Gómez-Serrano
![Universal Optimal Control, Reinforcement Learning, and Reaching Goals in LLMs]()
54:02published on May 30, 2025Universal Optimal Control, Reinforcement Learning, and Reaching Goals in LLMs
By Yann Ollivier
![Search, Reason or Recombine? Paradigms for Scaling Formal Proving]()
53:39published on May 30, 2025Search, Reason or Recombine? Paradigms for Scaling Formal Proving
By Fabian Glöckle
