Mathematics
and Interactions
-
Videos linked to Computation and LanguageMore +
![Towards autoformalization of textbook mathematics with natural proof checking]()
58:14published on December 15, 2025Towards autoformalization of textbook mathematics with natural proof checking
By De Lon Adrian
![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
