Constrained Code Generation with Discrete Diffusion
带有离散扩散的约束代码生成
机构 * University of Virginia（弗吉尼亚大学）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.CL、cs.PL
AI总结 本文提出了一种无需训练的神经符号推理框架CDC，通过将约束满足直接整合到反向去噪过程中，提升代码生成中功能正确性、安全性和语法的约束满足能力。
AI 大模型
代码大模型 / AI 编程
代码生成、软件工程智能体、程序修复、测试生成和开发者工具。
1. 代码生成 4132 篇
BRIDGE: Building Representations In Domain Guided Program Synthesis
BRIDGE: 在领域引导的程序合成中构建表示
机构 * California Institute of Technology（加州理工学院） ； Amazon（亚马逊）
专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.LG、cs.PL
AI总结 BRIDGE通过多艺术ifacts程序合成框架提升Lean验证正确性，结合代码、规范和定理证明领域，提高生成效率和正确率。
Comments 41 pages, 10 figures, 3 tables. Preprint
Uncertainty Quantification for LLM-based Code Generation
基于大语言模型的代码生成的不确定性量化
机构 * State Key Lab of Novel Software Technology, Nanjing University（南京大学新型软件技术国家重点实验室） ； ETH Zürich（苏黎世联邦理工学院） ； Birkbeck, University of London（伦敦大学伯克贝克学院）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.AI
AI总结 本文提出RisCoSet方法，通过多重假设检验构建风险控制的预测集，用于大语言模型代码生成任务，有效减少代码移除并提升准确性。
MURPHY: Feedback-Aware GRPO with Retrospective Credit Assignment for Multi-Turn Code Generation
MURPHY：具有回顾性信用分配的反馈感知GRPO用于多轮代码生成
机构 * Massachusetts Institute of Technology（麻省理工学院） ； AWS AI（AWS人工智能）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.AI、cs.LG
AI总结 MURPHY通过构建反馈条件化的rollout树，实现多轮自修正代码生成，采用最大奖励和平均奖励策略，并引入post-rollout剪枝机制，提升多轮优化效率。
Comments 21 pages, 2 figures, 8 Tables
PaT: Planning-after-Trial for Efficient Test-Time Code Generation
PaT：在试后进行规划以实现高效的测试时间代码生成
机构 * Department of Computer Science and Engineering, POSTECH, South Korea（韩国POSTECH计算机科学与工程系） ； Graduate School of Artificial Intelligence, POSTECH, South Korea（韩国POSTECH人工智能研究生院） ； Microsoft Research Asia, Beijing, China（中国北京微软亚洲研究院）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.CL、cs.LG
AI总结 本文提出PaT方法，通过在试后规划来提高测试时间代码生成的效率，采用异构模型配置在多个基准和模型家族中显著提升了成本性能帕累托前沿。
Comments Accepted to ACL 2026 main conference
Improving LLM Code Generation via Requirement-Aware Curriculum Reinforcement Learning
通过需求感知的课程强化学习改进LLM代码生成
机构 * Tianjin University（天津大学） ； Dalian Maritime University（大连海事大学）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.AI
AI总结 本文提出RECRL框架，通过自动感知需求难度、优化挑战性需求和自适应课程采样策略，提升LLM代码生成性能，实验显示在多个基准上表现显著。
From Mirage to Grounding: Towards Reliable Multimodal Circuit-to-Verilog Code Generation
从幻象到基础：迈向可靠的多模态电路到Verilog代码生成
机构 * State Key Laboratory of Blockchain and Data Security, Zhejiang University（区块链与数据安全国家重点实验室，浙江大学） ； Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security, Hangzhou（杭州高新技术区（滨江）区块链与数据安全研究院，杭州） ； School of Artificial Intelligence and Computer Science, Nantong University（人工智能与计算机科学学院，南通大学）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.AI
AI总结 本文提出VeriGround模型，通过标识符匿名化、拒绝增强和D-ORPO对齐，解决了多模态模型在电路到Verilog代码生成中的可靠性问题，验证了真实视觉基础的重要性。
ClassEval-Pro: A Cross-Domain Benchmark for Class-Level Code Generation
ClassEval-Pro：一个跨领域用于类级别代码生成的基准测试
机构 * Shanghai Jiao Tong University（上海交通大学） ； Hohai University（淮海大学） ； Chongqing University（重庆大学）
专题命中 代码生成 ：code generation(title)；repository(abstract)；分类 cs.SE、cs.CL
AI总结 本文提出ClassEval-Pro，一个包含300个跨11个领域的类级别任务的基准测试，通过自动化三阶段流程构建，评估五种前沿LLM在五种生成策略下的表现，揭示了逻辑错误和依赖错误是核心瓶颈。
Comments Accepted to AIware 2026. Code and data available at https://github.com/ian-Kappa/ClassEval-Pro
Defective Task Descriptions in LLM-Based Code Generation: Detection and Analysis
基于大语言模型的代码生成中的缺陷任务描述：检测与分析
机构 * University of Luxembourg（卢森堡大学）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.AI
AI总结 本文提出SpecValidator，通过轻量级模型检测任务描述缺陷，结果显示其在检测准确性与鲁棒性上优于其他模型，揭示了任务描述结构对LLM性能的影响。
Aligned Multi-View Scripts for Universal Chart-to-Code Generation
对齐的多视图脚本用于通用图表到代码生成
机构 * School of Computing and Information Systems, Singapore Management University（新加坡管理大学计算机与信息学院）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.CL、cs.AI
AI总结 本文提出Chart2NCode数据集和CharLuMA模型，通过多语言监督提升图表到代码生成的可执行性和视觉一致性，优于开源基线并具备竞争力。
Comments Accepted to ACL 2026 Main Conference
Think Anywhere in Code Generation
在代码生成中任意思考
机构 * School of Computer Science, Peking University（1 计算机科学系，北京大学） ； Tongyi Lab, Alibaba Group（2 龙洋实验室，阿里巴巴集团）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.LG
AI总结 本文提出Think-Anywhere机制，使LLM在代码生成过程中可按需调用推理，通过冷启动训练和基于结果的强化学习奖励，实现适应性推理，提升代码生成性能和可解释性。
No Test Cases, No Problem: Distillation-Driven Code Generation for Scientific Workflows
无测试用例，无问题：基于知识蒸馏的科学工作流代码生成
机构 * Purdue University（普渡大学） ； Argonne National Laboratory（阿贡国家实验室）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.AI
AI总结 本文提出MOSAIC框架，通过知识蒸馏和结构化问题分解实现无测试用例的科学代码生成，提升准确性和执行精度。
SolidCoder: Bridging the Mental-Reality Gap in LLM Code Generation through Concrete Execution
SolidCoder：通过具体执行弥合LLM代码生成中的心理现实差距
机构 * Electronics and Telecommunications Research Institute, Republic of Korea（韩国电信研究所）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.AI
AI总结 SolidCoder通过强制边缘情况意识和沙盒执行解决心理现实差距，提升代码生成性能，实现HumanEval、CodeContests和APPS的高准确率。
Comments 23 pages, 2 figures, Accepted at Findings of ACL 2026
LeGo-Code: Can Modular Curriculum Learning Advance Complex Code Generation? Insights from Text-to-SQL
LeGo-Code: 模块化课程学习能否推进复杂代码生成？来自文本到SQL的见解
机构 * Mohammed VI Polytechnic University（穆莱·伊沙克二世理工学院） ； King Fahd University of Petroleum and Minerals（国王·法赫德石油矿物大学）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.AI
AI总结 本文探讨模块化课程学习是否能提升代码生成模型在文本到SQL任务中的表现，提出模块化适配器策略，通过分层训练提升复杂查询性能，展示结构化模块化学习优于传统微调。
Comments 7 pages, 3 figures, 4 tables
Layer-wise MoE Routing Locality under Shared-Prefix Code Generation: Token-Identity Decomposition and Compile-Equivalent Fork Redundancy
层间MoE路由局部性在共享前缀代码生成中的研究：令牌身份分解与编译等效分支冗余
机构 * Shun-ichiro Hayashi（Hayashi 馃一郎） ； Daichi Mukunoki（Mukunoki 大地） ； Tetsuya Hoshino（Hoshino 艾田） ； Takahiro Katagiri（Katagiri 谷田）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.AI
AI总结 研究探讨了在共享前缀代码生成中，MoE专家路由的层间局部性，通过令牌身份分解和编译等效分支冗余分析，揭示了路由重叠模式及优化搜索效率的潜力。
CollabCoder: Plan-Code Co-Evolution via Collaborative Decision-Making for Efficient Code Generation
CollabCoder: 通过协作决策实现计划-代码共演以提高代码生成效率
机构 * Viettel AI, Viettel Group（越南Viettel集团AI部门） ； Hanoi University of Science and Technology（河内科学技术大学）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.CL
AI总结 CollabCoder通过动态多智能体协作提升代码生成效率，通过计划模块与代码模块的协作决策提高代码质量和鲁棒性，实验表明其在复杂任务中性能优于现有方法且计算开销更低。
Comments ACL 2026 Findings
A PennyLane-Centric Dataset to Enhance LLM-based Quantum Code Generation using RAG
面向增强基于LLM的量子代码生成的PennyLane数据集
机构 * Center for Quantum and Topological Systems (CQTS)（量子与拓扑系统中心（CQTS）） ； NYUAD Research Institute（纽约大学阿布扎克研究院） ； New York University Abu Dhabi（纽约大学阿布扎克分校）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.AI
AI总结 本文提出PennyLang数据集，通过系统化方法提升LLM生成量子代码的性能，验证了RAG框架在增强量子代码生成中的有效性。
Comments 8 pages, 6 figures, 8 tables. Accepted at IJCNN 2026
StoryCoder: Narrative Reformulation for Structured Reasoning in LLM Code Generation
StoryCoder: 为LLM代码生成中的结构化推理提供叙述改写
机构 * Dept. of Artificial Intelligence, Chung-Ang University（Chung-Ang 大学人工智能系） ； NAVER AI Lab（NAVER AI 实验室）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.CL、cs.AI
AI总结 StoryCoder通过将代码生成问题转化为连贯的自然语言叙述，提升模型推理和规划能力，实验显示在多个数据集上平均提升18.7%的零样本准确率，且改进了算法策略和代码结构。
Comments 21 pages, 12 figures. ACL 2026 Main Conference
MARS$^2$: Scaling Multi-Agent Tree Search via Reinforcement Learning for Code Generation
MARS$^2$：通过强化学习提升多智能体树搜索用于代码生成
机构 * Shanghai Artificial Intelligence Laboratory（上海人工智能实验室） ； Shanghai Innovation Institute（上海创新研究院） ； Harbin Institute of Technology（哈尔滨工业大学） ； Tsinghua University（清华大学）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.CL、cs.AI
AI总结 MARS$^2$通过多智能体协作与树搜索结合，提升强化学习在代码生成中的性能，实验表明其在多种模型和训练设置下均有效。
Comments Accepted by ACL 2026
Malicious and Unintentional Disclosure Risks in Large Language Models for Code Generation
大型语言模型在代码生成中的恶意与非故意披露风险
机构 * Digital Safety Research Institute（数字安全研究研究院） ； UL Research Institutes（UL研究机构）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.LG、cs.PL
AI总结 本文研究了大型语言模型在代码生成训练中可能泄露训练数据中的敏感信息的风险，分析了非故意和恶意披露两种风险，并通过Open Language Model模型评估了不同数据集和模型版本的风险变化。
Comments The 3rd International Workshop on Mining Software Repositories Applications for Privacy and Security (MSR4P&S), co-located with SANER 2025
WybeCoder: Verified Imperative Code Generation
WybeCoder：验证性 imperative 代码生成
机构 * CERMICS, ENPC, Institut Polytechnique de Paris, CNRS（CERMICS，ENPC，巴黎理工学院，CNRS） ； Computer Lab, University of Cambridge（剑桥大学计算机实验室） ； Korea Institute for Advanced Study（韩国高级研究院） ； FAIR, Meta（FAIR，Meta） ； University College London（伦敦大学学院）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.AI
AI总结 WybeCoder 提出了一种验证性 imperative 代码生成框架，通过证明与生成同步的方式，实现代码、不变式和证明的共同进化，提升了复杂算法的验证效率。
CodeFlowBench: A Multi-turn, Iterative Benchmark for Complex Code Generation
CodeFlowBench: 一个用于复杂代码生成的多轮迭代基准
机构 * Peking University（北京大学） ； Institute for Advanced Algorithms Research, Shanghai（上海先进算法研究所） ； Shanghai University of Finance and Economics（上海财经大学） ； McGill University（麦吉尔大学） ； Zhongguancun Academy（中关村学院） ； Beijing Key Laboratory of Data Intelligence and Security (Peking University)（北京数据智能与安全重点实验室（北京大学））
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.CL
AI总结 CodeFlowBench通过多轮迭代重用现有代码评估LLM在复杂代码生成中的能力，包含5000+编程问题和真实GitHub仓库，揭示多轮代码流程中模型性能下降与依赖复杂度负相关的现象。
DeepGuard: Secure Code Generation via Multi-Layer Semantic Aggregation
DeepGuard：通过多层语义聚合实现安全代码生成
机构 * Chongqing University（重庆大学） ； The State Key Laboratory of Blockchain and Data Security, Zhejiang University（区块链与数据安全全国重点实验室，浙江大学） ； Peking University（北京大学）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.AI
AI总结 DeepGuard通过多层语义聚合提升代码生成的安全性，实验表明其在安全性和功能性上均优于基线模型，有效检测并减少不安全模式。
Comments ACL 2026 main conference
Interactive Program Synthesis for Modeling Collaborative Physical Activities from Narrated Demonstrations
基于叙述演示的协作物理活动建模交互式程序合成
机构 * University of California, Berkeley（加州大学伯克利分校） ； Meta ； Aalto University（阿尔托大学）
专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.AI、cs.LG
AI总结 本文提出通过交互式程序合成解决协作物理活动建模问题，利用叙述演示统一教学、检查和纠正系统逻辑，实验表明用户能有效修正程序以匹配意图。
COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation
COBOL-Coder：面向COBOL代码生成与翻译的领域适应性大语言模型
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.PL
AI总结 本文提出COBOL-Coder，一种专为COBOL设计的大型语言模型，通过自动化数据管道和领域适应技术，在代码生成与翻译任务中表现出色，优于现有模型。
VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation
VeriAgent：一种集成工具的多智能体系统，具有进化记忆，用于PPA感知的RTL代码生成
机构 * Xiamen University（厦门大学） ； Tsinghua University（清华大学） ； Harbin Institute of Technology（哈尔滨工业大学）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.CL、cs.PL
AI总结 本文提出一种集成EDA工具的多智能体框架，用于高质量Verilog代码生成，通过进化记忆机制实现功能正确性和PPA指标的联合优化。
Detecting Data Poisoning in Code Generation LLMs via Black-Box, Vulnerability-Oriented Scanning
通过黑盒、面向漏洞的扫描检测代码生成LLM中的数据中毒
机构 * University of Connecticut（康涅狄格大学） ； Visa Research（Visa研究）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.AI
AI总结 本文提出CodeScan框架，通过分析多生成代码的结构相似性，结合抽象语法树规范化，检测代码生成模型中的安全漏洞，实现高准确率的数据中毒检测。
Comments Preprint
Code Roulette: How Prompt Variability Affects LLM Code Generation
代码掷骰子：提示变化如何影响LLM代码生成
机构 * University of Cambridge（剑桥大学）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.LG
AI总结 研究探讨提示变化对LLM代码生成质量的影响，提出评估流程以量化模型对输入变化的敏感性，通过实验验证方法有效性。
Comments Extended version of the paper accepted to LLM4Code @ ICSE 2026
SEMAG: Self-Evolutionary Multi-Agent Code Generation
SEMAG：自演化多智能体代码生成
机构 * College of Computer Science and Software Engineering, Shenzhen University, China（深圳大学计算机科学与软件工程学院） ； Guangdong Laboratory of Artificial Intelligence and Digital Economy (SZ), China（广东省人工智能与数字经济发展实验室（深圳）） ； School of Information Technology, Carleton University, Canada（卡尔顿大学信息技术学院）
专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE、cs.AI
AI总结 SEMAG通过自演化多智能体框架提升代码生成适应性，实现更高准确率和更强的模型自适应能力。
Self-Improving Language Models for Evolutionary Program Synthesis: A Case Study on ARC-AGI
自改进语言模型用于进化编程合成：ARC-AGI的案例研究
专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.AI、cs.LG
AI总结 本文提出SOAR方法，通过将语言模型融入自改进进化循环中，提升编程合成性能，在ARC-AGI基准上实现显著改进。
Comments update related work
Journal ref Proceedings of the 42 nd International Conference on Machine Learning, Vancouver, Canada. PMLR 267, 2025
