AI and Human Approaches to Mathematical Problem Solving

arXiv:2609.17779 · cs.CY, cs.AI · Submitted 2026-09-15 · Read on arXiv

cs.CY, cs.AI

Submitted: 2026-09-15

Updated: 2026-09-15

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

AUC — 7× in this paper · explained in 2 episodes
Generalization — 3× in this paper · explained in 13 episodes
Benchmark — 2× in this paper · explained in 2 episodes
Regularization — 2× in this paper · explained in 3 episodes
Robustness — 2× in this paper · explained in 5 episodes
Verification — 2× in this paper · explained in 2 episodes
Aggregation — 1× in this paper · explained in 1 episode

Sources

Related papers