arXiv · cs.AI· Mushir Akhtar·· 12 天前AI 评分29
ClaimScope：面向数学命题审计的标签盲见证验证基准
ClaimScope: Label-Blind Witness Verification for Mathematical Claim Auditing
来源与原文
arXiv · cs.AI
作者：Mushir Akhtar
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.21581v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
arXiv 论文提出 ClaimScope，一个包含 72 个任务的基准，通过裁决、范围、反例和修复审计数学智能体提出的命题，并评估 Qwen3-8B 在直接生成与四种两轮条件下的表现。结果显示，验证器反馈使无效命题的反例接受数从 15/39 提升至 23/39，安全完成数从 20/72 提升至 25/72，而严格完成保持 17/72，裁决准确率从 47/72 变为 46/72。该论文已被 NeurIPS 2026 Workshop（Mathematical Reasoning and AI）接收。
来源：arXiv · cs.AI · arxiv.org