TY  - RPRT
TI  - Beyond Solver Verdicts: Generative Reward Models for Autoformalization
AU  - Vikash Singh
AU  - Debargha Ganguly
AU  - Aman Goel
AU  - Ali Torkamani
AU  - Xiaoxue Han
AU  - Joseph Lilien
AU  - Ferhat Erata
AU  - Vipin Chaudhary
PY  - 2026
UR  - https://arxiv.org/abs/2609.11085
ID  - 2609.11085
ER  -