代码大模型 / AI 编程

ImportSnare: Directed "Code Manual" Hijacking in Retrieval-Augmented Code Generation

Kai Ye, Liangcai Su, Chenxiong Qian

机构 * The University of Hong Kong（香港大学） 纠错

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

Comments This paper has been accepted by the ACM Conference on Computer and Communications Security (CCS) 2025

Autonomous Code Evolution Meets NP-Completeness

Cunxi Yu, Rongjian Liang, Chia-Tung Ho, Haoxing Ren

机构 * NVIDIA Research（NVIDIA研究） 纠错

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

Comments 31 pages, 11 figures

Spec2RTL-Agent: Automated Hardware Code Generation from Complex Specifications Using LLM Agent Systems

Zhongzhi Yu, Mingjie Liu, Michael Zimmer, Yingyan Celine Lin, Yong Liu, Haoxing Ren

专题命中 代码生成 ：code generation(title,abstract)

How Do Humans Write Code? Large Models Do It the Same Way Too

Long Li, Xuzheng He, Haozhe Wang, Linlin Wang, Liang He

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

Cardiverse: Harnessing LLMs for Novel Card Game Prototyping

Danrui Li, Sen Zhang, Sam S. Sohn, Kaidong Hu, Muhammad Usman, Mubbasir Kapadia

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

Comments 37 pages, 13 figures, 8 tables. Accepted by EMNLP 2025

SCoder: Iterative Self-Distillation for Bootstrapping Small-Scale Data Synthesizers to Empower Code LLMs

Xinyu Zhang, Changzhi Zhou, Linmei Hu, Luhao Zhang, Xiancai Chen, Haomin Fu, Yang Yang, Mengdi Zhang

机构 * School of Computer Science, Beijing Institute of Technology（北京理工大学计算机科学学院） ； School of Computer Science, Peking University（北京大学计算机科学学院） ； Meituan（美团） 纠错

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

Unleashing the True Potential of LLMs: A Feedback-Triggered Self-Correction with Long-Term Multipath Decoding

Jipeng Li, Zeyu Gao, Yubin Qi, Hande Dong, Weijian Chen, Qiang Lin

机构 * Tencent（腾讯） ； Tsinghua University（清华大学） ； Institute of Dataspace, Hefei Comprehensive National Science Center（数据空间研究所，合肥综合性国家科学中心） 纠错

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

AgentX: Towards Orchestrating Robust Agentic Workflow Patterns with FaaS-hosted MCP Services

Shiva Sai Krishna Anand Tokal, Vaibhav Jha, Anand Eswaran, Praveen Jayachandran, Yogesh Simmhan

专题命中 代码生成 ：code generation(abstract)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs

Valentina Wu, Alexandra Mendes, Alexandre Abreu

专题命中 程序修复 ：program repair(abstract)；program synthesis(abstract)；分类 cs.SE、cs.PL

Challenging Bug Prediction and Repair Models with Synthetic Bugs

Ali Reza Ibrahimzada, Yang Chen, Ryan Rong, Reyhaneh Jabbarvand

机构 * University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校） ； Stanford University（斯坦福大学） 纠错

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE、cs.LG

Comments Published in SCAM 2025

"We provide our resources in a dedicated repository": Surveying the Transparency of HICSS publications

Irdin Pekaric, Giovanni Apruzzese

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

ArGen: Auto-Regulation of Generative AI via GRPO and Policy-as-Code

Kapil Madan

机构 * Principled Evolution（原则进化） 纠错

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

Comments 53 pages, 7 figures, 8 tables. Open-source implementation available at: https://github.com/Principled-Evolution/argen-demo. Work explores the integration of policy-as-code for AI alignment, with a case study in culturally-nuanced, ethical AI using Dharmic principles

Trust but Verify! A Survey on Verification Design for Test-time Scaling

V Venktesh, Mandeep Rathee, Avishek Anand

机构 * Stockholm University（斯德哥尔摩大学） ； L3S Research Center（L3S研究中心） ； TU Delft（代尔夫特理工大学） 纠错

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

Comments 18 pages

Toward Reproducible Cross-Backend Compatibility for Deep Learning: A Configuration-First Framework with Three-Tier Verification

Zehua Li

机构 * Department of Computer Science Dalhousie University（计算机科学系达勒豪西大学） 纠错

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

Comments 7 pages, 7 figures, 3 tables, appendix, code available at https://github.com/william-zehua-li/cross-backend-model-checker

MVAT: Multi-View Aware Teacher for Weakly Supervised 3D Object Detection

Saad Lahlali, Alexandre Fournier Montgieux, Nicolas Granger, Hervé Le Borgne, Quoc Cuong Pham

机构 * Université Paris-Saclay, CEA, List（巴黎-萨克雷大学、欧洲原子能机构、List） 纠错

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

Comments Accepted at WACV 2026

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models

Augustin Crespin, Ioannis Kostis, Hélène Verhaeghe, Pierre Schaus

机构 * UCLouvain（乌尔斯坦大学） ； ICTEAM（信息与计算技术团队） 纠错

专题命中 其他AI编程 ：code model(abstract)；分类 cs.AI

Comments presented at"LLMs meet Constraint Solving" Workshop at CP2025 in Glasgow

Random Trajectory Models for Complex Phenomena

Jeffrey D. Picka

专题命中 其他AI编程 ：code model(abstract)

Comments 82 pages, 1 figure