ClaimScope: Label-Blind Witness Verification for Mathematical Claim Auditing
Mathematical agents are commonly evaluated by answer accuracy or proof acceptance. We introduce ClaimScope, a 72-task benchmark for auditing proposed claims through a verdict, scope, counterexample, and repair. Tasks cover optimizer-state transport, finite-horizon affine recurrences, and exact $2\times2$ linear algebra. We evaluate Qwen3-8B with direct generation and four matched two-pass…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.
