AI 大模型

代码大模型 / AI 编程

代码生成、软件工程智能体、程序修复、测试生成和开发者工具。

2026-04-16 至 2026-04-16 共收录 1 篇信号源：cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 程序分析与验证 1 篇

2604.13927 2026-04-16 cs.PL 74%

AI 编程代理需要更好的编译器注释

Akash Deo, Simone Campanoni, Tommy McMichen

专题命中程序分析与验证：coding agent(title)；分类 cs.PL

AI总结本文研究了编译器注释对AI代理优化程序的影响，发现精确注释能显著提升性能，而模糊注释会导致语义错误，结论是未来编译器需提供结构化反馈以支持自主性能工程。

Comments 3 pages, 1 figure, 2 tables, Presented at Workshop on Co-Design for Agentic and Multimodal AI (CoDAIM) 2026

↑