English(EN) Predicting Program Exit Code with LLMs and Programming Language Semantics

新研究发现大型语言模型难以应用编程语言语义

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

研究人员开发了一项名为程序可执行性预测（PrEx）的新任务，以评估大型语言模型（LLMs）对编程语言语义的理解程度。研究发现，LLMs倾向于依赖其预训练知识，而不是系统地应用提供的语义规则，尤其是在程序复杂性增加或语义被修改时。这表明LLMs在真正掌握和应用正式编程语言规则方面存在局限性。 AI

影响凸显了LLMs在理解正式编程规则方面的局限性，指出了代码分析和生成方面的改进方向。

排序理由详细介绍新任务和LLM能力研究结果的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]

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

本文如何被排名

Signal score: 28 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 详细介绍新任务和LLM能力研究结果的研究论文。[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, model release; 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: Breaking (< 6h); Fresh story with cross-source coverage still developing. Ranking may shift as more sources report.

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

arXiv cs.AI TIER_1 English(EN) · Lara Marinov, Aditya Thimmaiah, Jayanth Srinivasa, Junyi Jessy Li, Milos Gligoric · 2026-09-02 04:00

利用大型语言模型和编程语言语义预测程序退出码

arXiv:2609.00579v1 Announce Type: cross Abstract: Large language models (LLMs) have shown proficiency in various software engineering tasks, such as code generation and translation. However, a key limitation in their performance may be their (lack of) understanding of programming…