arXiv Artificial Intelligence· Mushir Akhtar·· 2 小时前AI 评分20
ClaimScope：面向数学主张审计的标签盲见证验证基准
ClaimScope: Label-Blind Witness Verification for Mathematical Claim Auditing
AI 导读
ClaimScope 是一个 72 任务的基准，通过裁决、范围、反例与修复四个环节审计数学主张，覆盖优化器状态传输、有限时域仿射递推和精确 2×2 线性代数。
来源：arXiv Artificial Intelligence · arxiv.org