TY  - RPRT
TI  - Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification
AU  - Erik Y. Wang
AU  - Sumeet R. Motwani
AU  - James V. Roggeveen
AU  - Eliot Hodges
AU  - Dulhan Jayalath
AU  - Charles London
AU  - Kalyan Ramakrishnan
AU  - Jakob Foerster
AU  - Cheng Zhang
AU  - Flaviu Cipcigan
AU  - Philip Torr
AU  - Alessandro Abate
PY  - 2026
UR  - https://arxiv.org/abs/2603.15617
ID  - 2603.15617
ER  -