English(EN) AutoFraming: Synthesizing Dynamic Frames of C Code with LLMs

大型语言模型使用 AutoFraming 生成 C 代码帧规范

作者 PulseAugur 编辑部 · [1 个来源] · 2026-10-23 04:00

研究人员开发了一种名为 AutoFraming 的新方法，该方法使用大型语言模型（LLMs）自动生成 C 代码的帧条件。帧条件对于形式规范至关重要，因为它们定义了代码执行期间可以修改的内存位置。AutoFraming 分析代码属性图以提取相关信息，引导 LLMs 生成准确的帧规范，以捕获对变量修改的约束。与现有技术相比，该方法在无错误帧规范的生成成功率方面有了显著提高，在基准数据集上的改进高达 179%。 AI

影响通过自动生成关键帧规范，增强了 C 代码的形式验证能力。

排序理由该集群描述了一篇学术论文中提出的使用 LLMs 从代码合成形式规范的新方法。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 5 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 该集群描述了一篇学术论文中提出的使用 LLMs 从代码合成形式规范的新方法。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, product; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: Same-day; Cluster formed today. Ranking reflects the current source set at time of score.

完整方法见我们的编辑标准。

报道来源 [1]

arXiv cs.AI TIER_1 English(EN) · Han Zhou, Yu Luo, Dianxiang Xu · 2026-10-23 04:00

AutoFraming: Synthesizing Dynamic Frames of C Code with LLMs

arXiv:2610.29046v1 Announce Type: new Abstract: Large language models (LLMs) have shown considerable promise in synthesizing formal specifications from source code. However, existing approaches primarily focus on functional contracts and loop invariants, while largely neglecting …

本文如何被排名

报道来源 [1]

AutoFraming: Synthesizing Dynamic Frames of C Code with LLMs

相关实体

相关话题