arXiv · Software Engineering· Shihao Xia, Mengting He, Haomin Jia, Xinyan Zhao, Linhai Song·· 4 hr agoAI score36
Doc2Spec：通过语法归纳从自然语言合成形式化编程规约
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
AI brief
Doc2Spec 是一个多智能体框架，能从自然语言 API 规则自动归纳领域特定语法，并引导 LLM 生成形式化规约。它固定领域无关的逻辑骨架作为语法模板，让 LLM 推断谓词与类型，把不可靠的一次性翻译变成一系列受约束、可检查的步骤。
Source: arXiv · Software Engineering · arxiv.org