代码大模型 / AI 编程

DAMP: Decay-Aware Mixed-Precision Recurrent-State Quantization

DAMP：感知衰减的混合精度循环状态量化

Tao Zhang, Jianchao Tan, Pingwei Sun, Yanqi Yu, Zixu Jiang, Yuchen Xie, Xunliang Cai, Ziqian Zeng

机构 * South China University of Technology（华南理工大学） ； Meituan（美团） ； East China Normal University（华东师范大学） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.AI、cs.LG

AI总结 DAMP是针对GDN、KDA类语言模型循环状态的混合精度量化方法，通过识别高风险通道差异化精度存储，在接近FP32基线精度的同时大幅降低存储、加速更新并减少推理延迟。

GraftyVul: Synthesising Insecure Programs Through Real-World Vulnerability Grafting

GraftyVul：通过真实世界漏洞植入合成不安全程序

Omri Ram, Mitchell Horner, Ron Van der Meyden, Alsharif Abuadbba, Hammond Pearce

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

AI总结 GraftyVul是通过将真实世界漏洞植入开源项目构建不安全程序的系统，生成212个跨5种语言、23个CWE类别的可验证漏洞程序，在多样性等指标上优于13个常用数据集，可用于评估漏洞修复系统。

Comments 13 pages, 8 figures

Rubric-to-Code Credit Assignment for Reinforcement Learning

用于强化学习的从评分规则到代码的信用分配

Rui Jin, Jikai Chen, Yihan Chen, Hao Zhou, Demin Zhu, Kaichen Yang, Dong Wang, Chenyi Zhuang

机构 * Inclusion AI, Ant Group（蚂蚁集团Inclusion AI） ； Zhongnan University（中南大学） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.AI

AI总结 该研究针对网页应用代码生成中信用分配被削弱的问题，提出RCCA强化学习框架，构建分层奖励与归因对齐机制，使Ling-RCCA-Flash在MiniAppBench和ArtifactsBench上创出新的最优表现。

Predicting LLM Performance from Prompt Linguistic Features: An Empirical Study in Requirements Engineering

从提示语言特征预测大语言模型（LLM）性能：需求工程领域的实证研究

Quim Motger, Alessio Miaschi, Xavier Franch, Mohammad Amin Zadenoori, Alessio Ferrari

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

AI总结 本研究通过生成9000个语言受控的提示变体，利用5个开源LLM在需求分类任务上证实，提示的语言特征可显著预测LLM性能，为低成本提示选择提供了可解释的先验方法。

CommerceVibe: Learning to Design E-Commerce Creatives as Executable Visual Code via Dual-Feedback Reinforcement Learning

CommerceVibe：通过双反馈强化学习学习将电商创意设计为可执行视觉代码

Yajiao Xu, Jin Zhang, Jiangbo Ai, Tao Jiang, Mo Xu, Lina Huang, Chengfu Huo

机构 * Tongji University（同济大学） ； Alibaba Group（阿里巴巴集团） 纠错

专题命中 代码生成 ：program synthesis(abstract)

AI总结 该研究提出CommerceVibe，将电商创意转化为可执行视觉代码，通过双反馈强化学习优化生成效果，在基准测试中优于仅监督微调的变体及外部模型，实现可控可编辑的规模化电商创意生产。

Comments 20 pages, 13 figures, 12 tables; includes supplementary material

openJiuwen: Beyond Static Harnesses for Long-Horizon Coding Agents

openJiuwen：超越静态框架的长程编码智能体

openJiuwen Team: Tao Yu, Xinyu Zhang, Qianqian Chen, Xiaoneng Xiang, Chia Kwangyang, Xingchen Huang, Ran Chen, Yangkai Ding, Zheng Wang, Yeo Boon Hong, Bingzheng Gan, Enrui Hu, Shuo Cheng, Deyang Li, Ruifeng Shi, Hongbo Wang, Qi Ye, Xuefeng Jin, Zhangchun Zhao

机构 * Huawei Technologies Co., Ltd.（华为技术有限公司） 纠错

专题命中 软件智能体 ：coding agent(title,abstract)；repository(abstract)；分类 cs.AI

AI总结 openJiuwen是一款开源智能体框架，针对长程编码智能体的结构可组合性与运行时适应性挑战设计，在SWE-bench Verified和Terminal-Bench 2.1上的准确率分别达82.6%、87.19%，性能优于官方排行榜顶尖方案。

RealSWE: A Compositional Evaluation of Coding Agents under Realistic User Requests

RealSWE：面向真实用户请求的编码智能体组合式评估

Gyuhyeong Kim, Hyojung Gwon, Jeonghyeon Kim, Kyuhong Shim, Sunjae Lee

机构 * Sungkyunkwan University（成均馆大学） 纠错

专题命中 软件智能体 ：coding agent(title,abstract)；分类 cs.AI、cs.LG

AI总结 该研究针对编码智能体评估基准与真实用户请求的差异，构建了新基准sys并评估7种LLM，发现真实输入降低解决率且改变模型排名，明确陈述期望行为和动机可提升LLM软件工程性能。

On the Maintenance and Co-evolution of Agent Plugins: An Empirical Study of Claude Code Plugin Marketplaces

智能体插件的维护与协同演化：Claude Code插件市场的实证研究

Ahmed Hereiz, Yingzhe Lyu, Hao Li, Bram Adams, Ahmed E. Hassan

专题命中 软件智能体 ：coding agent(abstract)；分类 cs.SE、cs.AI

AI总结 本研究通过对Claude Code插件市场的实证分析，揭示智能体插件的维护与协同演化规律，发现其功能驱动开发特征及新型组件耦合依赖关系。

Comments Under review

Prove2Me: An Open Collaborative Platform for Scaling Math Formalization

Prove2Me：用于规模化数学形式化的开源协作平台

Shuze Chen, Kunal Marwaha, Xiaoyang Lu, Henry Yuen, Tianyi Peng

机构 * Columbia University（哥伦比亚大学） ； University of Chicago（芝加哥大学） ； Purdue University（普渡大学） 纠错

专题命中 软件智能体 ：coding agent(abstract)；分类 cs.AI

AI总结 Prove2Me是支持人类与AI智能体协作的开源数学形式化平台，可降低大规模数学形式化的门槛，实现众包式规模化形式化验证。

Comments this https URL (https://prove2.me)

GOD: Govern, Observe, and Direct - A Real-Time Control Room for Agent Societies

GOD：管控、观测与指挥——智能体群体的实时控制室

Yige Luo, Ran Guan

机构 * Laboratories, Huawei（华为2012实验室） 纠错

专题命中 软件智能体 ：repository(abstract)；分类 cs.AI

AI总结 研究针对生成式智能体系统难检查的问题，提出GOD实时控制室，整合多类工具与技术，经15次运行评估验证其干预有效性，可助力智能体群体的管控与观测。

Comments 9 pages, 5 figures. Accepted to the EMNLP 2026 System Demonstrations Track

Credo: Reusable Declarative Primitives for Agentic Workflows

Credo：面向智能体工作流的可复用声明式原语

Duo Lu, Andrew Crotty, Uğur Çetintemel

机构 * Brown University（布朗大学） ； Northwestern University（西北大学） 纠错

专题命中 软件智能体 ：coding agent(abstract)；分类 cs.AI

AI总结 Credo可恢复智能体工作流harness的结构化声明式描述，标记元数据并带来源编目，编译器可绑定其原语生成新任务harness，避免从头搜索，还提出了数据库界可开展的相关研究议程。

RESTCov: A Tool for Structural Coverage Analysis of REST APIs

RESTCov：REST API的结构覆盖率分析工具

Tolgahan Bardakci, Serge Demeyer

专题命中 测试生成 ：repository(abstract)；分类 cs.SE

AI总结 本文提出轻量级工具RESTCov，可基于OpenAPI规范和HTTP请求/响应日志计算REST API结构覆盖率，生成可读报告，用于检查覆盖率缺口、诊断不匹配问题及评估测试套件。

DARTS: Decoder-Aware Representation Tuning via Surgery for Model Merging

DARTS：通过“手术”实现感知解码器的表示调优以完成模型合并

Aaryan Ajay Sharma, Sai Nishanth Padala, Seganrasan Subramanian

机构 * ServiceNow（ServiceNow（服务now公司）） ； University of Twente（特温特大学） 纠错

专题命中 代码评测 ：code generation(abstract)；分类 cs.LG

AI总结 针对模型合并中解码器存在的表示偏差挑战，本文提出DARTS方法，通过熵加权L1损失与逐位置加性偏差校正，在三类任务上较标准方法获显著改进且新增参数极少。

Comments Accepted to EMNLP 2026 Main Conference

LoopArena: Benchmarking Models as Runtime Controllers for Loop Engineering

LoopArena：将模型作为循环工程运行时控制器的基准测试

Yi Wang, Haopeng Zhang, Chengxiang Huang, Rui Dai, Kaikui Liu, Piotr Koniusz, Xiangxiang Chu

机构 * DreamX Team, Alibaba Group（达摩院团队，阿里巴巴集团） ； Beijing University of Posts and Telecommunications（北京邮电大学） ； UNSW Sydney（新南威尔士大学悉尼分校） ； Data61, CSIRO（联邦科学与工业研究组织数据61研究所） 纠错

专题命中 代码评测 ：coding agent(abstract)；分类 cs.AI

AI总结 研究推出LoopArena基准，评估模型作为控制器指导编码智能体完成长期任务的能力，发现完整任务上最佳严格成功率为24.69%，推理成本平均降低64.4%。

Residual-Guided Randomized Neural Networks

残差引导的随机神经网络

Mushir Akhtar, M. Tanveer, Mohd. Arshad

机构 * Indian Institute of Technology Indore（印度理工学院印多尔分校） 纠错

专题命中 代码评测 ：repository(abstract)；分类 cs.LG

AI总结 针对随机神经网络单次隐藏单元抽取的局限，提出残差引导的贪婪隐藏层构建方法，在71个UCI基准数据集上验证其性能优于基线模型。

Comments Accepted at WCCI 2026

Cross-Session Decomposition Attacks: Scaling Risk and Intent-Aligned Retrieval Defense

跨会话分解攻击：规模风险与意图对齐检索防御

Disen Liao, Yihan Wang, Freda Shi, Yaoliang Yu

机构 * University of Waterloo（滑铁卢大学） ； Vector Institute（向量研究所） 纠错

专题命中 代码评测 ：repository(abstract)；分类 cs.AI

AI总结 该研究聚焦跨会话分解攻击的规模风险，提出IntentAlign-MiniLM防御方法，实验显示更大的Qwen3、Gemma3系列模型在该攻击下有害能力提升更显著，所提防御效果优于更大嵌入模型。

Comments 30 pages, 3 figures, EMNLP 2026 Findings

Sustainability of Open-Source Machine Learning Robustness Assessment Tools: A Repository Mining Study

开源机器学习鲁棒性评估工具的可持续性：一项仓库挖掘研究

Joshua Owotogbe, Indika Kumara, Willem-Jan van den Heuvel, Damian Tamburri

专题命中 仓库级理解 ：repository(title,abstract)；分类 cs.SE

AI总结 本研究通过挖掘GitHub上的28个开源鲁棒性工具仓库，发现其参与度与维护活动分布不均，多数仓库不活跃，呼吁将鲁棒性工具视为演进中的软件系统。

Comments 32 pages. Preprint

From Architecture to Binary: Ensuring Cross-Domain Consistency in Model-Based Airborne Software Development

从架构到二进制：确保基于模型的机载软件开发中的跨域一致性

Nils Schlautmann, Viktor Sinitsyn, Benjamin Engelhard, Florian Holzapfel

专题命中 仓库级理解 ：repository(abstract)；分类 cs.SE

AI总结 针对机载软件开发中跨域不一致问题，提出以仓库为中心的实现方案，结合CI流水线与自动化检查，在实验项目中验证了方案的有效性。

Comments 10 Pages, Preprint for 45th AIAA DATC/IEEE Digital Avionics Systems Conference (DASC). Accepted for Publication

PhenoIntel: A Lifecycle-Aligned Multi-Agent Web Application for Verified, Accessible Plant Phenotype Analysis

PhenoIntel：一种生命周期对齐的多智能体Web应用，用于经过验证、易于使用的植物表型分析

Narendren S V, Soumyashree Kar

机构 * VIT Bhopal University（维特博帕尔大学） ； Centre of Studies in Resources Engineering（资源工程研究中心） ； Indian Institute of Technology Bombay（印度理工学院孟买分校） 纠错

专题命中 仓库级理解 ：repository(abstract)；分类 cs.AI

AI总结 PhenoIntel是一款生命周期对齐的多智能体Web平台，通过分阶段的专用智能体实现可靠易用的植物表型分析，具备校准不确定性、验证统计等优势，模型性能优异且可在标准硬件上运行。

Comments 32 pages, 11 figures, 9 tables. Submitted to Engineering Applications of Artificial Intelligence (Elsevier)

Characterizing the I/O Behavior of HPC Applications through Modeling and Simulation

通过建模与仿真表征HPC应用的I/O行为

Njoud O. Almaaitah, David E. Singh, Taylan Özden, Jesus Carretero, Raffaele Montella

专题命中 仓库级理解 ：repository(abstract)

AI总结 本研究开发了基于ElastiSim的框架，结合HPCIO追踪复现真实HPC应用I/O访问模式，通过案例分析实现I/O拥塞分析，以表征HPC应用I/O行为。

URIUM: A Programming Language for a Practical Open Course on Compiler Design

URIUM：一门面向实用编译器设计开放课程的编程语言

Francisco J. Moreno Velo, Almudena García Jurado-Centurión

专题命中 程序分析与验证 ：code generation(abstract)；分类 cs.PL

AI总结 本文提出用于实用编译器设计开放课程的编程语言URIUM，该课程可逐步讲解编译器构建，适配不同难度，生成多平台代码，可作为高级主题讲解的起点。

Comments 18 pages, 13 figures. All course content, including the source code for each lecture, is available at the following link: this https URL (https://github.com/fran-moreno-velo/urium)