AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
基于规范的开发：在AI编码助手时代的代码与合同
专题命中 软件智能体 ：workflow(abstract)；分类 cs.AI、cs.SE
AI总结 本文探讨了在AI编码助手时代基于规范的开发方法，通过规范优先的哲学和不同领域的案例研究，提供了一种新的软件开发思路和实践框架。
Comments Submitted to AIWare 2026. 8 pages, 3 figures
CATArena: 通过迭代竞技场评估代码代理的进化能力
机构 * Shanghai Jiao Tong University, Shanghai, China（上海交通大学） ； Shenzhen International Graduate School, Tsinghua University, Shenzhen, China（清华大学深圳国际 Graduate School）
专题命中 软件智能体 ：agent(abstract)；分类 cs.AI、cs.CL
AI总结 CATArena通过迭代竞技场评估代码代理的进化能力，揭示了代理在连续优化和多轮迭代开发中的潜力及改进机制。
AACR-Bench: 评估自动代码审查的综合仓库级上下文
机构 * Southern Cross University, Gold Coast, Australia（南方十字大学） ； TRE, Alibaba Inc., Hangzhou, China（阿里云）
专题命中 软件智能体 ：agent(abstract)；分类 cs.AI、cs.SE
AI总结 AACR-Bench通过综合仓库级上下文和专家验证流程，提升自动代码审查评估的准确性与全面性，揭示上下文粒度和检索方法对性能的影响。
Post-Norm 可增强注意力
机构 * HUN-REN Alfréd Rényi Institute of Mathematics, Budapest, Hungary（匈牙利REN阿弗雷德·雷尼数学研究所） ； University of Rochester, Rochester, NY, USA（罗切斯特大学） ； The University of Alabama, Tuscaloosa, AL, USA（阿拉巴马大学） ； University of Virginia, Charlottesville, VA, USA（弗吉尼亚大学） ； Georgia Institute of Technology, Atlanta, GA, USA（佐治亚理工学院） ； Brigham Young University, Provo, UT, USA（Brigham Young大学） ； Carleton College, Northfield, MN, USA（卡洛尔顿学院）
专题命中 软件智能体 ：autonomous agent(abstract)；分类 cs.AI、cs.LG
AI总结 Post-Norm通过增强注意力机制，解决Transformer在长度泛化任务中因注意力分散导致的性能下降问题。
Comments 17 pages, 7 figures, 1 table
多任务代码LLM：数据混合还是模型合并？
机构 * Rensselaer Polytechnic Institute（拉特格斯理工学院） ； IBM Research（IBM研究院）
专题命中 软件智能体 ：agentic(abstract)；分类 cs.AI、cs.CL
AI总结 本研究比较了数据混合与模型合并在多任务代码LLM中的效果，发现模型合并在大模型规模下表现更优，而数据混合在小规模更有效，为资源受限场景提供了高效解决方案。
TAM-Eval: 评估用于自动单元测试维护的LLM
机构 * Both authors contributed equally to this research.（共同作者）
专题命中 软件智能体 ：agentic(abstract)；分类 cs.AI、cs.SE
AI总结 TAM-Eval提出一个评估LLM在自动单元测试维护能力的框架和基准，通过测试套件创建、修复和更新三个场景，揭示LLM在真实测试维护中的局限性。
Comments Accepted for publication at the 9th Workshop on Validation, Analysis and Evolution of Software Tests (VST 2026), co-located with the the 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2026)
通过Claude Code驱动的开发：为环编程语言构建完整的终端用户界面框架
专题命中 软件智能体 ：workflow(abstract)；分类 cs.AI、cs.SE
AI总结 通过Claude Code驱动开发，为环编程语言构建完整终端用户界面框架，展示了提示驱动方法在软件工程中的可行性。
学习协作：一种协同-去中心化框架用于点对点大语言模型联邦
专题命中 软件智能体 ：agent(abstract)；分类 cs.AI、cs.LG
AI总结 KNEXA-FL通过协同去中心化框架提升点对点大语言模型联邦学习的效率与稳定性
Comments Accepted to AAAI 2026. 13 pages, 3 figures, 10 tables. Code available at: https://github.com/FujitsuResearch/knexa-fl
大语言模型在软件工程中的问题解决进展与前沿：一项全面的调查
机构 * Sun Yat-sen University（中山大学） ； Hangzhou Normal University（杭州师范大学） ； Zhejiang University（浙江大学） ； Huawei Technologies Co, Ltd（华为技术有限公司） ； Chongqing University（重庆大学）
专题命中 软件智能体 ：agent(abstract)；分类 cs.CL、cs.SE
AI总结 本文全面调查了大语言模型在软件工程中问题解决的进展与前沿，分析了数据构建、方法和技术挑战，并提供了开源资源。
Comments 26 pages, 4 figures, 5 tables
位置：在系统性情境中为表格数据构建的基础模型需要接地
专题命中 软件智能体 ：autonomous agent(abstract)；分类 cs.AI、cs.LG
AI总结 本文提出语义链接表和SLT基础模型，通过双阶段训练实现表格数据在操作上下文中的接地，强调操作知识对自主代理的重要性。
面向供应商的工业代理：增强型LLM用于安全本地PLC代码生成
机构 * Centre for Machine Learning（机器学习中心） ； Fraunhofer IOSB-INA（弗劳恩霍夫IOSB-INA研究所） ； FA-EDC ； Mitsubishi Electric Europe（三菱电机欧洲）
专题命中 软件智能体 ：agent(abstract)；分类 cs.AI、cs.SE
AI总结 本文提出了一种基于RAG增强的LLM方法，用于在低数据域中安全生成本地PLC代码，通过提示工程和定向检索提升代码生成质量。
Comments ICIT2026
LogicLens: 通过语义代码图探索多仓库大型系统
机构 * Sourcesense
专题命中 软件智能体 ：agent(abstract)；分类 cs.AI、cs.SE
AI总结 LogicLens通过构建语义多仓库图，帮助开发者探索复杂软件系统，支持自然语言交互和动态检索子图，实现领域逻辑和运行时行为的分析。
交通专家与残差强化学习相遇：基于知识的模型驱动残差强化学习用于智能交通车辆轨迹控制
机构 * Department of Civil and Environmental Engineering, University of Wisconsin-Madison, Madison, WI, 53706, USA（土木与环境工程系，威斯尼大学麦迪逊分校）
专题命中 软件智能体 ：agent(abstract)；分类 cs.AI、cs.LG
AI总结 本文提出基于知识的模型驱动残差强化学习框架，用于智能交通车辆轨迹控制，结合交通专家知识与传统控制方法，提升学习效率与交通流平滑度。
Comments Accepted by Communications in Transportation Research
Journal ref Communications in Transportation Research 4 (2024): 100142
仓库智能图：用于LLM代码助手的确定性架构图
机构 * Blavatnik School of Computer Science Tel Aviv University（布拉瓦特尼克计算机科学学院特拉维夫大学）
专题命中 软件智能体 ：agent(abstract)；分类 cs.AI、cs.SE
AI总结 本研究提出仓库智能图（RIG）以提升LLM代码助手的构建和测试结构理解能力，通过确定性架构图和SPADE提取器实现结构化问题解答的准确性与效率提升。
Comments 35 pages, 5 figures
ENCO：企业级协作者的生命周期管理
机构 * Microsoft（微软公司） ； Carnegie Mellon University（卡内基梅隆大学）
专题命中 软件智能体 ：agentic(abstract)；分类 cs.AI、cs.SE
AI总结 ENCO 通过 DECO 框架提升企业级协作者的生命周期管理，实现高效检索增强生成和自动化资源访问，提高工程效率。
Vibe-Check协议：量化AI编程中的认知卸载
机构 * The George Washington University（乔治·华盛顿大学）
专题命中 软件智能体 ：AI agent(abstract)；分类 cs.AI、cs.SE
AI总结 本文提出Vibe-Check协议，通过量化指标评估Vibe Coding在软件工程教学中的效果，探讨其对技能保留和概念理解的影响。
基于实践丰富上下文的LLM细粒度代码审查基准测试
机构 * Harbin Institute of Technology（哈尔滨工业大学） ； ByteDance（字节跳动）
专题命中 软件智能体 ：workflow(abstract)；分类 cs.AI、cs.SE
AI总结 ContextCRBench通过丰富上下文的细粒度代码审查基准测试，评估LLM在代码审查中的性能，发现文本上下文比代码上下文更有效，且在工业应用中提升了审查系统性能。
SweRank+: 多语言、多轮次代码排名用于软件问题定位
机构 * University of Illinois at Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校） ； Salesforce AI Research（Salesforce AI研究院） ； KAIST AI（韩国科学技术院AI研究中心）
专题命中 软件智能体 ：agentic(abstract)；分类 cs.AI、cs.SE
AI总结 SweRank+结合跨语言代码排名工具和代理搜索设置，实现多轮次的代码库推理，提升多语言软件问题定位的准确性和效率。
PACIFIC：用于检查精确自动指令遵循的代码基准生成框架
机构 * IBM Research（IBM研究）
专题命中 软件智能体 ：agentic(abstract)；分类 cs.AI、cs.SE
AI总结 PACIFIC框架通过生成具有明确预期输出的基准，评估LLM在代码指令遵循和dry运行能力上的表现，提供了一种抗污染且可扩展的评估方法。
SWE-Synth：合成可验证的bug修复数据以使大语言模型能够解决现实中的bug
机构 * FPT Software AI Center, Viet Nam（越南FPT软件AI中心） ； Nanyang Technological University, Singapore（新加坡南洋理工大学） ； University of Texas at Dallas, US（美国德克萨斯大学达拉斯分校）
专题命中 软件智能体 ：agent(abstract)；分类 cs.AI、cs.SE
AI总结 SWE-Synth通过合成可验证的bug修复数据集，提升大语言模型在解决现实bug中的性能。
Comments Work in progress
为MLIR编译器自动代码优化设计的一种强化学习环境
机构 * New York University Abu Dhabi（纽约大学阿布扎赫尔分校） ； ESI（埃斯国际研究所） ； USTHB（阿尔及利亚国家技术与高等理工学院）
专题命中 软件智能体 ：agent(abstract)；分类 cs.LG、cs.SE
AI总结 本文提出MLIR RL，一种为MLIR编译器设计的强化学习环境，用于自动代码优化，通过多离散动作空间和level pointers方法提升策略学习效率。
AutoICE: 通过LLM驱动的进化自动合成可验证的C代码
机构 * Sun Yat-sen University, School of Computer Science and Engineering（中山大学计算机科学与工程学院）
专题命中 软件智能体 ：agent(abstract)；分类 cs.AI、cs.SE
AI总结 AutoICE通过LLM驱动的进化搜索方法，自动合成可验证的C代码，验证成功率高达90.36%，优于现有方法。
通过惊喜识别提升世界模型鲁棒性
机构 * Georgia Institute of Technology（佐治亚理工学院）
专题命中 软件智能体 ：agent(abstract)；分类 cs.AI、cs.LG
AI总结 通过惊喜识别提升世界模型在噪声环境下的鲁棒性，增强自动驾驶模拟中智能体的稳定性与性能
基于大语言模型的事件链驱动的ADAS代码生成方法
机构 * Federal Ministry of Research, Technology and Space of Germany（德国联邦研究、技术和空间部）
专题命中 软件智能体 ：workflow(abstract)；分类 cs.AI、cs.SE
AI总结 本文提出基于事件链驱动和大语言模型的ADAS代码生成方法，通过RAG层提高代码生成的准确性和一致性，无需重新训练大语言模型。
一种低代码方法论用于开发AI信息亭：以DIZEST平台的案例研究
专题命中 软件智能体 ：workflow(abstract)；分类 cs.AI、cs.SE
AI总结 本文提出了一种基于DIZEST平台的低代码方法论，用于开发AI信息亭，通过案例研究展示了其在提高互操作性和用户体验方面的优势。
Comments 5 pages, 2 figures, conference, 2 tables
二进制BPE：用于二进制分析的跨平台分词器家族
专题命中 软件智能体 ：agentic(abstract)；分类 cs.AI、cs.LG
AI总结 二进制BPE分词器家族通过跨平台训练，提升二进制分析的上下文效率和压缩效果，适用于恶意软件检测与逆向工程。
Comments 17 pages, 3 figures, 9 tables. Paper source available at https://github.com/mjbommar/binary-tokenizer-paper ; tokenizers available at https://huggingface.co/mjbommar - mjbommar/binary-tokenizer-001-{4k,8k,16k,32k,64k}
InfCode-C++: 基于意图的语义检索与AST结构化搜索用于C++问题解决
机构 * Beihang University（北航） ； Beijing Tokfinity Technology Co., Ltd.（北京 Tokfinity 技术有限公司）
专题命中 软件智能体 ：agent(abstract)；分类 cs.AI、cs.SE
AI总结 INFCODE-C++ 是首个针对 C++ 的自主系统，通过结合语义代码意图检索和 AST 结构查询，实现端到端的问题解决，其性能显著优于现有方法。
TRADES: 使用扩散模型生成逼真市场模拟
机构 * Technical University of Munich（慕尼黑技术大学）
专题命中 软件智能体 ：agent(abstract)；分类 cs.AI、cs.LG
AI总结 TRADES通过基于变换器的扩散模型生成逼真市场模拟，提升合成数据在金融任务中的应用价值。
Comments 8 pages
Journal ref ECAI 2025. Volume 413: Pages 3703 - 3710
专题命中 软件智能体 ：workflow(abstract)；分类 cs.CL、cs.SE
Comments 23 pages, 2 figures, 3 tables. Under review
专题命中 软件智能体 ：tool-use(abstract)；分类 cs.CL、cs.LG
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈