Cost-Effective Automated Judging of Natural-Language Mathematical Proofs
DGX agentarXiv:2608.00004v1 Announce Type: new Abstract: Grading natural-language mathematical proofs is a recurring cost in evaluating math-reasoning systems, and frontier LLM judges are expensive. We ask whe