TY  - RPRT
TI  - Scaling Generative Verifiers For Natural Language Mathematical Proof Verification And Selection
AU  - Sadegh Mahdavi
AU  - Branislav Kisacanin
AU  - Shubham Toshniwal
AU  - Wei Du
AU  - Ivan Moshkov
AU  - George Armstrong
AU  - Renjie Liao
AU  - Christos Thrampoulidis
AU  - Igor Gitman
PY  - 2025
UR  - https://arxiv.org/abs/2511.13027
ID  - 2511.13027
ER  -