Doc2Spec：语法归纳辅助从自然语言生成形式化规约

Shihao Xia 等提出多智能体框架 Doc2Spec，从自然语言 API 规则中自动归纳领域专用语法，再用该语法分步生成形式化编程规约。框架以固定的领域无关逻辑骨架作为语法模板，让 LLM 推断领域特定的谓词与类型，并在所得语法内形式化每条规则。 基于论文摘要：在覆盖 Solidity 和 Rust 的六个基准上，相较缺乏语法归纳或未分阶段执行归纳的基线，精确率提高 0.28、召回率提高 0.37；形式化规则还使符号执行工具发现 142 个此前未知的规则违规。

AI 根据报道生成 · 53 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。