代码大模型 / AI 编程

Assistance or Disruption? Exploring and Evaluating the Design and Trade-offs of Proactive AI Programming Support

Kevin Pu, Daniel Lazaro, Ian Arawjo, Haijun Xia, Ziang Xiao, Tovi Grossman, Yan Chen

机构 * University of Toronto（多伦多大学） ； University of California San Diego（加州大学圣地亚哥分校） ； Johns Hopkins University（约翰霍普金斯大学） 纠错

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

AI-Assisted Modeling: DSL-Driven AI Interactions

Steven Smyth, Daniel Busch, Moez Ben Haj Hmida, Edward A. Lee, Bernhard Steffen

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

Comments 7 pages, 4 figures

CRANE: Reasoning with constrained LLM generation

Debangshu Banerjee, Tarun Suresh, Shubham Ugare, Sasa Misailovic, Gagandeep Singh

机构 * Department of Computer Science, University of Illinois Urbana-Champaign, USA（计算机科学系，伊利诺伊大学厄巴纳-香槟分校） 纠错

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

Comments Accepted at ICML 2025, Code at: https://github.com/uiuc-focal-lab/CRANE

A Comprehensive Survey on Trustworthiness in Reasoning with Large Language Models

Yanbo Wang, Yongcan Yu, Jian Liang, Ran He

机构 * School of Artificial Intelligence, University of Chinese Academy of Sciences（人工智能学院，中国科学院大学） ； NLPR & MAIS, Institute of Automation, Chinese Academy of Sciences（神经语言处理与机器智能中心，中国科学院自动化研究所） 纠错

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

Comments 38 pages. This survey considers papers published up to June 30, 2025. Work in progress

SHERPA: A Model-Driven Framework for Large Language Model Execution

Boqi Chen, Kua Chen, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró, Amir Feizpour

机构 * Electrical and Computer Engineering, McGill University, Canada（麦吉尔大学电气与计算机工程系） ； Department of Computer Science and Systems, University of Murcia, Spain（穆尔西亚大学计算机科学与系统系） ； Aggregate Intellect Inc., Canada（聚合智力公司） 纠错

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

Comments MODELS 2025

Entropy-Guided Loop: Achieving Reasoning through Uncertainty-Aware Generation

Andrew G. A. Correa, Ana C. H de Matos

机构 * Monostate（莫诺态） 纠错

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

Comments 9 pages, 2 figures, 4 tables

An Investigation on Group Query Hallucination Attacks

Kehao Miao, Xiaolong Jin

机构 * University of Science and Technology of China（中国科学技术大学） ； Purdue University（帕克大学） 纠错

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

FLAIRR-TS -- Forecasting LLM-Agents with Iterative Refinement and Retrieval for Time Series

Gunjan Jalori, Preetika Verma, Sercan Ö Arık

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

Comments EMNLP

DropLoRA: Sparse Low-Rank Adaptation for Parameter-Efficient Fine-Tuning

Haojie Zhang

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

Comments 8 pages

CelloAI: Leveraging Large Language Models for HPC Software Development in High Energy Physics

Mohammad Atif, Kriti Chopra, Ozgur Kilic, Tianle Wang, Zhihua Dong, Charles Leggett, Meifeng Lin, Paolo Calafiura, Salman Habib

机构 * Brookhaven National Laboratory（布鲁克海文国家实验室） ； Lawrence Berkeley National Laboratory（伯克利国家实验室） ； Argonne National Laboratory（阿贡国家实验室） 纠错

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

Comments 12 pages, 2 figures

VulScribeR: Exploring RAG-based Vulnerability Augmentation with LLMs

Seyed Shayan Daneshvar, Yu Nong, Xu Yang, Shaowei Wang, Haipeng Cai

机构 * University of Manitoba（曼尼托巴大学） ； Washington State University（华盛顿州立大学） ； University at Buffalo（布法罗大学） 纠错

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

Comments Accepted by TOSEM; 26 pages, 6 figures, 8 tables, 3 prompt templates, 1 algorithm

Uncovering Systematic Failures of LLMs in Verifying Code Against Natural Language Specifications

Haolin Jin, Huaming Chen

机构 * University of Sydney（悉尼大学） 纠错

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

Comments Accepted to the NIER track of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025)

Rethinking Autonomy: Preventing Failures in AI-Driven Software Engineering

Satyam Kumar Navneet, Joydeep Chandra

机构 * Department of CSE Chandigarh University Mohali, India（计算机科学与工程系 奇纳格里大学 莫哈利，印度） ； Department of CST Tsinghua University Beijing, China（计算机科学与技术系 清华大学 北京，中国） 纠错

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

Channel-Wise MLPs Improve the Generalization of Recurrent Convolutional Networks

Nathan Breslow

机构 * Nathan Breslow（独立研究者） 纠错

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

LLMs can be easily Confused by Instructional Distractions

Yerin Hwang, Yongil Kim, Jahyun Koo, Taegwan Kang, Hyunkyung Bae, Kyomin Jung

机构 * IPAI, Seoul National University（IPAI，首尔国立大学） ； LG AI Research（LG人工智能研究所） ； Dept. of ECE, Seoul National University（电子工程系，首尔国立大学） ； SNU-LG AI Research Center（SNU-LG人工智能研究所） 纠错

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

Comments 8 pages

Journal ref Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pages 19483-19496, Vienna, Austria, July 2025

When Prompt Engineering Meets Software Engineering: CNL-P as Natural and Robust "APIs'' for Human-AI Interaction

Zhenchang Xing, Yang Liu, Zhuo Cheng, Qing Huang, Dehai Zhao, Daniel Sun, Chenhua Liu

机构 * CSIRO’s Data61（CSIRO数据61实验室） ； Jiangxi Provincial Key Laboratory for High Performance Computing（江西省高性能计算重点实验室） ； State International Science & Technology Cooperation Base of Networked Supporting Software（网络化支持软件国际科技合作基地） ； Language Intelligence Research Center（语言智能研究中心） ； Jiangxi Normal University（江西师范大学） ； Institute of AI, Newcastle University, UK（人工智能研究院，新castle大学，英国） ； UGAiForge 纠错

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

Temporal Self-Rewarding Language Models: Decoupling Chosen-Rejected via Past-Future

Yidong Wang, Xin Wang, Cunxiang Wang, Junfeng Fang, Qiufeng Wang, Jianing Chu, Xuran Meng, Shuxun Yang, Libo Qin, Yue Zhang, Wei Ye, Shikun Zhang

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

Comments 12 pages, 5 figures

Impact-driven Context Filtering For Cross-file Code Completion

Yanzhou Li, Shangqing Liu, Kangjie Chen, Tianwei Zhang, Yang Liu

机构 * Nanyang Technological University（南洋理工大学） ； Nanjing University（南京大学） 纠错

专题命中 代码生成 ：repository(abstract)；分类 cs.SE、cs.AI

Automated Validation of LLM-based Evaluators for Software Engineering Artifacts

Ora Nova Fandina, Eitan Farchi, Shmulik Froimovich, Rami Katan, Alice Podolsky, Orna Raz, Avi Ziv

机构 * IBM Research（IBM研究院） 纠错

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

A comprehensive taxonomy of hallucinations in Large Language Models

Manuel Cossio

机构 * Universitat de Barcelona（巴塞罗那大学） 纠错

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

Comments 55 pages, 16 figures, 3 tables

AutoBridge: Automating Smart Device Integration with Centralized Platform

Siyuan Liu, Zhice Yang, Huangxun Chen

机构 * The Hong Kong University of Science and Technology (Guangzhou)（香港科学与技术大学（广州）） ； ShanghaiTech University（上海科技大学） 纠错

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

Comments 14 pages, 12 figures, under review

On LLM-Assisted Generation of Smart Contracts from Business Processes

Fabian Stiehle, Hans Weytjens, Ingo Weber

机构 * Technical University of Munich, School of CIT, Germany（慕尼黑技术大学计算机信息学院） ； Fraunhofer Gesellschaft, Munich, Germany（弗劳恩霍夫协会） 纠错

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

Comments Accepted at the Workshop on Distributed Ledger Technologies in Business Process Management, At the International Conference for Business Process Management (BPM), 2025

From Articles to Code: On-Demand Generation of Core Algorithms from Scientific Publications

Cameron S. Movassaghi, Amanda Momenzadeh, Jesse G. Meyer

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

MultiAIGCD: A Comprehensive dataset for AI Generated Code Detection Covering Multiple Languages, Models,Prompts, and Scenarios

Basak Demirok, Mucahid Kutlu, Selin Mergen

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

iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols

Xikai Sun, Fan Dang, Shiqi Jiang, Jingao Xu, Kebin Liu, Xin Miao, Zihao Yang, Weichen Zhang, Haimo Lu, Yawen Zheng, Yunhao Liu

机构 * Tsinghua University（清华大学） ； Microsoft Research Asia（微软亚洲研究院） ； Carnegie Mellon University（卡内基梅隆大学） ； Yanshan University（燕山大学） 纠错

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

Comments 10 pages, 4 figures

AgentMesh: A Cooperative Multi-Agent Generative AI Framework for Software Development Automation

Sourena Khanzadeh

机构 * Toronto Metropolitan University（多伦多 Metropolitan 大学） 纠错

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

GenAI for Automotive Software Development: From Requirements to Wheels

Nenad Petrovic, Fengjunjie Pan, Vahid Zolfaghari, Krzysztof Lebioda, Andre Schamschurko, Alois Knoll

机构 * Technical University of Munich, Germany（慕尼黑技术大学，德国） 纠错

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

Can One Domain Help Others? A Data-Centric Study on Multi-Domain Reasoning via Reinforcement Learning

Yu Li, Zhuoshi Pan, Honglin Lin, Mengyuan Sun, Conghui He, Lijun Wu

机构 * OpenDataLab（开放数据实验室） ； Shanghai Artificial Intelligence Laboratory（上海人工智能实验室） 纠错

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

Comments 27 pages, 24 figures

LOCOFY Large Design Models -- Design to code conversion solution

Sohaib Muhammad, Ashwati Vipin, Karan Shetti, Honey Mittal

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

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code

Nenad Petrovic, Vahid Zolfaghari, Andre Schamschurko, Sven Kirchner, Fengjunjie Pan, Chengdng Wu, Nils Purschke, Aleksei Velsh, Krzysztof Lebioda, Yinglei Song, Yi Zhang, Lukasz Mazur, Alois Knoll

机构 * Chair of Robotics, Artificial Intelligence and Real-Time Systems（机器人、人工智能与实时系统教授席） 纠错

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

Comments Conference paper accepted for GACLM 2025