Skip to content
Hot eventLive

Doc2Spec：用语法归纳从自然语言合成形式化编程规约

1 reports1 sources4 hr ago updated

Get the story

AI overview

2026年10月8日，arXiv 软件工程栏目发布一手报道，介绍 Doc2Spec 框架。Doc2Spec 是一个多智能体框架，能从自然语言 API 规则自动归纳领域特定语法，并引导大语言模型生成形式化规约。该框架固定领域无关的逻辑骨架作为语法模板，让大语言模型推断谓词与类型，从而把不可靠的一次性翻译变成一系列受约束、可检查的步骤。目前报道仅涉及该框架的方法设计，未披露实验结果或后续验证进展。

Generated from reports · updated 3 hr ago

LatestOct 8
arXiv 报道 Doc2Spec 框架，以语法归纳引导 LLM 生成形式化编程规约。

Timeline

Follow the coverage from different angles.

Oct 8, 2026
  1. arXiv · Software Engineering
    Doc2Spec：通过语法归纳从自然语言合成形式化编程规约

    Doc2Spec 是一个多智能体框架，能从自然语言 API 规则自动归纳领域特定语法，并引导 LLM 生成形式化规约。它固定领域无关的逻辑骨架作为语法模板，让 LLM 推断谓词与类型，把不可靠的一次性翻译变成一系列受约束、可检查的步骤。

Heat trend

Current heat 9·Comparable peak 10（Oct 8）·Comparable change over 24 hours –

02.557.510Oct8Oct8Oct8Oct8

The trend compares only the same participants observed continuously; its range may be smaller than the current heat count. Move or click on the chart to inspect hourly heat; use the left and right arrow keys to switch.