AI 大模型
代码生成、软件工程智能体、程序修复、测试生成和开发者工具。
利用多模态大语言模型探索程序流程图在代码生成中的潜力
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE
AI总结 研究利用多模态大语言模型探索程序流程图对代码生成的潜力，通过从示例代码生成流程图并与问题陈述一起提供给模型进行代码生成实验，发现结合流程图可提升性能，不同细节程度的流程图效果有差异，还比较了与少样本学习的效果。
ARCANA：用于ARC-AGI-2推理的反射式多智能体程序合成框架
机构 * Columbia University（哥伦比亚大学） ； University of California, Los Angeles（加州大学洛杉矶分校） ； Northeastern University（东北大学）
专题命中 代码生成 ：program synthesis(title)；分类 cs.AI
AI总结 ARCANA是用于ARC-AGI-2推理的多智能体框架，将任务分解为感知、假设生成等步骤，智能体通过可微黑板通信，由元控制器调度。其设计结合程序搜索与校正，提升了抽象转换任务的推理效率和解决方案质量。
LLMlambda 计算：人工智能代理、对话与信息流
机构 * University of Nottingham, UK（诺丁汉大学） ； University of Edinburgh, UK（爱丁堡大学） ； Chalmers University of Technology（查尔姆斯理工大学） ； The University of Gothenburg, Sweden（哥德堡大学）
专题命中 代码生成 ：code generation(abstract)；分类 cs.AI、cs.PL
AI总结 本文提出了一种无类型的lambda计算模型，用于形式化描述和验证人工智能代理中对话和信息流的安全性。
通过数据密集型计算中的属性模板进行智能体证明和基于属性的测试
专题命中 代码生成 ：code generation(abstract)；分类 cs.SE
AI总结 研究软件工程中意图规范和验证问题，提出用属性模板解决验证候选属性和实施PBT的子问题，设计智能体双轨验证框架，经评估该框架能提高证明成功率、减少幻觉、降低成本并提升代码覆盖，还能发现模型与实现差距。
Comments 12 pages, 7 figures, 4 tables; supplementary material included as ancillary file
程序员是大型语言模型生成断言的糟糕且过度自信的评判者
专题命中 代码生成 ：code generation(abstract)；分类 cs.SE
AI总结 研究程序员评估大型语言模型生成断言的能力，通过实验发现程序员判断正确断言较准，判断错误断言较差，自然语言解释未带来整体益处，凸显帮助开发者评估机器生成可靠性工件的重要性。
Comments 10 pages, 6 figures
通过BREW改进语言智能体：引导式经验学习环境知识
机构 * University of Michigan（密歇根大学） ； Independent（独立研究者） ； Microsoft（微软） ； Apple（苹果公司）
专题命中 代码生成 ：program synthesis(abstract)；分类 cs.AI
AI总结 研究基于LLM的智能体无法从经验学习的问题，提出BREW框架，通过提炼交互轨迹成知识库、引入EG-MCTS算法及适应事后重标记等方法，在多基准测试中提升任务成功率并减少执行步骤，且知识库具有良好特性。
QAgent：一种基于大语言模型的用于自主OpenQASM编程的多智能体系统
机构 * Zhenxiao Fu1, Lei Jiang1, Yilun Xu2, Gang Huang2, Fan Chen1（作者1、作者2、作者3、作者4、作者5）
专题命中 代码生成 ：code generation(abstract)；分类 cs.AI
AI总结 研究针对OpenQASM编程挑战提出QAgent，它是基于大语言模型的多智能体系统，集成规划、合成和校准工作流程，利用检索增强生成及多智能体推理确保正确性，在多模型评估中表现出色，证明集成对可靠量子程序生成很关键。
3D软件中用于批量编辑碰撞网格的示例编程
机构 * The Hong Kong University of Science and Technology（香港科学与技术大学） ； The Chinese University of Hong Kong（香港中文大学）
专题命中 代码生成 ：program synthesis(abstract)
AI总结 针对3D软件中碰撞网格编辑难题，提出神经符号程序合成方法，将任务转化为例程编程问题，通过MeshForge工具实现，在6 hundred个碰撞网格的24个任务中评估，成功合成多数任务，平均所需演示次数和合成时间较少。
失败作为一个过程：CLI编码代理轨迹剖析
专题命中 软件智能体 ：coding agent(title,abstract)；分类 cs.SE、cs.AI
AI总结 研究CLI编码代理失败轨迹，引入面向过程框架，收集并标注大量执行轨迹，发现失败多由认知错误驱动，起始于最初几步且常隐藏，提出提高编码代理可靠性需早期验证和干预，而非仅靠最终结果评估。
Comments 12 pages, 6 figures
在聊天中被拒绝，用代码编写：IDE 编码代理中的工作流级越狱构造
机构 * The Alan Turing Institute（阿尔法·图灵研究院）
专题命中 软件智能体 ：coding agent(title,abstract)；分类 cs.SE、cs.AI
AI总结 研究 IDE 编码代理安全评估问题，介绍工作流级越狱构造，通过对特定模型在不同基准测试下表现研究发现，对话拒绝基准可能高估其安全性，需跨多轮 IDE 工作流评估安全。
为软件修复代理编写错误报告：哪些信息最重要？
专题命中 软件智能体 ：repository(abstract)；分类 cs.SE
AI总结 研究软件开发中为软件修复代理编写错误报告的问题，通过对错误报告分类标注，用三个LLM主干运行mini-swe-agent，拟合回归模型，发现定位线索和建议修复等信息对代理成功更重要，传统对人类有用的信息作用较小。
ReProAgent：从问题报告中通过工具增强的多阶段代理生成错误重现测试
专题命中 软件智能体 ：repository(abstract)；分类 cs.SE
AI总结 研究提出ReProAgent多阶段代理框架，从问题报告生成错误重现测试，将任务分解为四个阶段，集成多种工具支持各阶段，实验表明其能成功重现较多问题，优于基线，还可跨模型泛化并提升下游问题解决性能。
编码代理可以复现科学机器学习论文
机构 * School of Mechanical Engineering, Purdue University（机械工程学院，普渡大学）
专题命中 软件智能体 ：coding agent(abstract)；分类 cs.AI
AI总结 提出Paper-replication工作流，让编码代理以目标驱动方式复现论文的计算声明，通过记录目标、重建方法、运行实验并验证，在四篇论文的12次独立运行中全部完成并通过验证。
一种自演化代理框架用于超材料逆向设计
机构 * University of Massachusetts Lowell（马萨诸塞大学洛厄尔分校）
专题命中 软件智能体 ：coding agent(abstract)；分类 cs.AI
AI总结 本文提出一种自演化代理框架，通过上下文级技能进化解决超材料逆向设计中工作流构建的难题，提升任务成功率并减少尝试次数，实现可重用的求解器专业知识积累。
通过受人工测试启发的工作流程进行多智能体大语言模型协作以生成单元测试
专题命中 测试生成 ：unit test generation(title,abstract)；repository(abstract)；分类 cs.SE
AI总结 研究针对现有基于大语言模型的单元测试生成方法的局限，提出TestAgent，通过多智能体协作机制模拟人工测试，设计专门智能体、配备工具API并构建知识图谱，在Java项目实验中取得优异结果，性能优于基线和搜索工具。
SCATE：学习监督编码代理以实现经济高效的测试生成
机构 * University of British Columbia（不列颠哥伦比亚大学）
专题命中 测试生成 ：coding agent(title,abstract)；分类 cs.SE、cs.AI
AI总结 研究针对编码代理惰性生成致代码覆盖不足问题，提出SCATE框架，将监督设为上下文博弈问题，依覆盖和可测试性指标选测试动作，集成不同编码代理，相比基线和其他方法有更高覆盖，能动态优化代理优势。
记住你的踪迹：一种基于记忆的长周期代理框架，用于一致且分层的仓库级代码文档
机构 * Sungkyunkwan University（成均馆大学） ； University of Oslo（奥斯陆大学）
专题命中 仓库级理解 ：repository(title,abstract)；coding agent(abstract)；分类 cs.SE、cs.CL
AI总结 MemDocAgent通过依赖感知遍历引导和记忆引导代理交互，生成统一上下文的仓库级代码文档，实现高效且一致的文档生成。
大语言模型生成代码中的拼凑问题
机构 * Decentralized Science Lab, College of Computing and Software Engineering（分布式科学实验室，计算机与软件工程学院）
专题命中 仓库级理解 ：repository(abstract)；分类 cs.SE、cs.AI
AI总结 研究大语言模型生成代码中的拼凑问题，将结构一致性形式化并引入故障分类法，提出混合验证框架，经实证评估和真实世界验证，揭示多数结构故障难被现有检查发现，模型间故障模式有别，此类故障普遍存在。
Jet-Long：使用动态双焦点旋转位置编码的高效长上下文扩展
机构 * NVIDIA（英伟达）
专题命中 仓库级理解 ：repository(abstract)；分类 cs.AI、cs.LG
AI总结 研究针对现代语言模型长上下文应用中零样本上下文扩展问题，提出Jet-Long方法，通过动态双焦点RoPE及相关技术，在推理时开销小，在多种模型和基准测试中表现优异，还能推广到其他架构且超参数弹性强。
Comments added discussion of AdaGroPE and LaMPE (Findings of ACL 2026) with clarified contribution
STEAM：基于弹性匹配和自适应净化的稳定自训练
机构 * heu（哈尔滨工程大学）
专题命中 仓库级理解 ：repository(abstract)
AI总结 跨视角地理定位中现有监督和无监督方法有局限，本文提出STEAM框架，通过稳定空间感知模块、弹性匹配和自适应净化进行自训练，在相关基准测试中性能达最优，验证了该框架在无监督跨视角地理定位中的有效性和优越性。
用于多站点MRI分析的联邦跨部门创伤性脑损伤研究（FITBIR）数据库的质量保证
专题命中 仓库级理解 ：repository(abstract)
AI总结 针对FITBIR数据库，将其结构和扩散MRI及相关信息整理统一，用UNesT分割分析指标，经质量保证后用GAMLSS建模，发现TBI受试者与对照组相比，15个脑区体积有显著差异。
Comments 8 pages, 5 figures
OpenProver：使用Lean 4进行智能且交互式的定理证明
机构 * Charles University, Faculty of Mathematics and Physics（查尔斯大学数学与物理系）
专题命中 程序分析与验证 ：code generation(abstract)；repository(abstract)；分类 cs.AI
AI总结 介绍用于大语言模型驱动的自动化定理证明的开源系统OpenProver，它集成特定架构，完全开源，能自动验证证明，提供交互式界面，通过在ProofNet上评估展示自动验证在定量消融实验中的潜力。
Comments 7 pages, 2 figures. Accepted at the 19th Conference on Intelligent Computer Mathematics (CICM 2026)
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈