Cost-Effective Automated Judging of Natural-Language Mathematical Proofs.

arXiv:2608.00004v2 Announce Type: replace-cross Abstract: Grading natural-language mathematical proofs is a recurring cost in evaluating math-reasoning systems, and frontier LLM judges are expensive. We ask whether cheap open-weight models can serve as reliabl