42 citations · 95 across the 22 of their papers we have counts for
1 paper · 2 filters
Mushir Akhtar
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, scop…