Cost-Effective Automated Judging of Natural-Language Mathematical Proofs
英文标题：Cost-Effective Automated Judging of Natural-Language Mathematical Proofs
arXiv: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 whether cheap open-weight models can serve as reliable judges given a candidate proof, a ground-truth
打开原文相关 4 · 机会 0
2.6 KB
2.1 KB
612 B
380 B
9.1 KB
32.7 KB
22.8 KB
24.2 KB
34.7 KB
中文
arXiv: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 whether cheap open-weight models can serve as reliable judges given a candidate proof, a ground-truth
中文全文翻译正在补齐，可先查看下方英文原文。
English / 原文
BibTeX formatted citation
×