arXiv · cs.AI· Shihao Xia, Mengting He, Haomin Jia, Xinyan Zhao, Linhai Song·· 1 天前
Doc2Spec 通过语法归纳从自然语言生成形式化编程规约
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
arXiv:2602.04892v2阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Shihao Xia, Mengting He, Haomin Jia, Xinyan Zhao, Linhai Song
研究任务与主要进展
研究提出多智能体框架 Doc2Spec，从自然语言 API 规则中归纳领域专用语法，并据此分步生成形式化规约。基于论文摘要，在覆盖 Solidity 和 Rust 的六个基准上，该方法相较缺乏语法归纳或未分阶段执行的基线，精确率提高 0.28、召回率提高 0.37；形式化规则还使符号执行工具发现 142 个此前未知的规则违规。
阶段、条件与复现 · 深读核对
- 新能力对应什么具体任务与最小输入输出？
- 代码、模型、数据、许可与可用入口是否明确？
- 效果、总成本、失效条件与实际工作流如何验证？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
来源：arXiv · cs.AI · arxiv.org