arXiv · cs.AI· Anna Mei·· 12 天前AI 评分34
超越 LLM Judge：面向智能体自动形式化的机械验证方法
Beyond LLM Judge: Mechanical Verification for Agentic Autoformalization
来源与原文
arXiv · cs.AI
作者：Anna Mei
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.20573v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
研究者提出一种超越 LLM 评判的 Lean 形式化验证方法，将 LLM 语义审查与机械化数值和空泛性检查结合，可给出可核查反馈并发现 LLM judge 漏掉的错误。该方法配合 Extract-Verify-Proof 自动形式化流水线构建了 NIST DLMF 的部分形式化库 FLMF；在三个标注数据集上，其接受错误率为被评估方法中最低，专家审查还发现了现有数据集的翻译与来源缺陷。代码已开源。
来源：arXiv · cs.AI · arxiv.org