Machine-Checked Proofs, and the Rise of Formal Methods in Mathematics
1:00:19
Beyond Test Accuracies for Studying Deep Neural Networks
18:02
Automated Mathematical Proofs - Computerphile
1:14:48
The Future of Mathematics?
22:59
La paradoja de la cúpula: una laguna en las leyes de Newton
1:06:07
Hypercomplex numbers: How I stopped worrying and learned to love multilinear algebra
6:41
Formal Methods - When and Where?
57:28
AppWorld: Reliable Evaluation of Interactive Agents in a Controllable World of Apps and People
1:01:01