58:14
publiée le 15 décembre 2025
Towards autoformalization of textbook mathematics with natural proof checking
De De Lon Adrian
47:17
publiée le 23 juin 2025
Deciding What Game to Play, What Mathematics Problem to Solve
De Katie Collins
55:16
publiée le 23 juin 2025
Machine Learning in PDE: Discovering New, Unstable Solutions
De Javier Gómez-Serrano