代码大模型 / AI 编程

VisCoder: Fine-Tuning LLMs for Executable Python Visualization Code Generation

Yuansheng Ni, Ping Nie, Kai Zou, Xiang Yue, Wenhu Chen

机构 * University of Waterloo（滑铁卢大学） ； Carnegie Mellon University（卡内基梅隆大学） 纠错

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

Evaluating SAP Joule for Code Generation

Joshua Heisler, Johannes Reisinger, Andreas Fischer

机构 * Faculty of Computer Science（计算机科学系） ； Deggendorf Institute of Technology（德格多夫技术学院） 纠错

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

MaintainCoder: Maintainable Code Generation Under Dynamic Requirements

Zhengren Wang, Rui Ling, Chufan Wang, Yongan Yu, Sizhe Wang, Zhiyu Li, Feiyu Xiong, Wentao Zhang

机构 * Center for Data Science（数据科学中心） ； McGill University（麦吉尔大学） ； Center for LLM, Institute for Advanced Algorithms Research（大语言模型中心，先进算法研究所） 纠错

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

Comments NeurIPS 2025

Ocassionally Secure: A Comparative Analysis of Code Generation Assistants

Ran Elgedawy, Porter Dosch, John Sadik, Senjuti Dutta, Anuj Gautam, Konstantinos Georgiou, Farzin Gholamrezae, Fujiao Ji, Kyungchan Lim, Qian Liu, Scott Ruoti

机构 * OpenAI ； Google（谷歌） ； DeepSeek 纠错

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

Comments 12 pages, 2 figures

ChartMaster: Advancing Chart-to-Code Generation with Real-World Charts and Chart Similarity Reinforcement Learning

Wentao Tan, Qiong Cao, Chao Xue, Yibing Zhan, Changxing Ding, Xiaodong He

机构 * South China University of Technology（华南理工大学） ； JD Future Academy（京东未来学院） ； Wuhan University（武汉大学） 纠错

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

An Exploratory Study on Fine-Tuning Large Language Models for Secure Code Generation

Junjie Li, Fazle Rabbi, Cheng Cheng, Aseem Sangalay, Yuan Tian, Jinqiu Yang

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

Comments 37 pages, 8 figures

Text-to-Code Generation for Modular Building Layouts in Building Information Modeling

Yinyi Wei, Xiao Li

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

Comments Accepted at NeurIPS 2025 Main Track

Memory Transfer Planning: LLM-driven Context-Aware Code Adaptation for Robot Manipulation

Tomoyuki Kagaya, Subramanian Lakshmi, Yuxuan Lou, Thong Jing Yuan, Jayashree Karlekar, Sugiri Pranata, Natsuki Murakami, Akira Kinose, Yang You

机构 * Panasonic Connect Co., Ltd.（松下电器（控股）公司） ； Panasonic R&D Center（松下研发中心） ； National University of Singapore（新加坡国立大学） 纠错

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

MAS$^2$: Self-Generative, Self-Configuring, Self-Rectifying Multi-Agent Systems

Kun Wang, Guibin Zhang, ManKit Ye, Xinyu Deng, Dongxia Wang, Xiaobin Hu, Jinyang Guo, Yang Liu, Yufei Guo

机构 * NTU（国立新加坡大学） ； NUS（国立大学） ； USTC（中国科学技术大学） ； ZJU（浙江大学） ； BUAA（北京航空航天大学） ； PKU（北京大学） 纠错

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

PAT-Agent: Autoformalization for Model Checking

Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jing Sun, Jin Song Dong

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

Comments Accepted in ASE 2025 (International Conference on Automated Software Engineering)

How are Scientific Concepts Birthed? Typing Rules of Concept Formation in Theoretical Physics Reasoning

Omar Aguilar, Anthony Aguirre

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

Comments 28 pages, 2 figures

Documentation Retrieval Improves Planning Language Generation

Renxiang Wang, Li Zhang

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

Comments 12 pages, 14 figures, 1 table

Takedown: How It's Done in Modern Coding Agent Exploits

Eunkyu Lee, Donghyeon Kim, Wonyoung Kim, Insu Yun

专题命中 软件智能体 ：coding agent(title,abstract)

Integrating Various Software Artifacts for Better LLM-based Bug Localization and Program Repair

Qiong Feng, Xiaotian Ma, Jiayi Sheng, Ziyuan Feng, Wei Song, Peng Liang

机构 * Nanjing University of Science and Technology（南京理工大学） ； State Key Lab. for Novel Software Technology, Nanjing University（南京大学新型软件技术国家重点实验室） ； School of Computer Science, Wuhan University（武汉大学计算机学院） 纠错

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

Comments Preprint accepted for publication in ACM Transactions on Software Engineering and Methodology (TOSEM), 2025

Order Matters! An Empirical Study on Large Language Models' Input Order Bias in Software Fault Localization

Md Nakhla Rafi, Dong Jae Kim, Tse-Hsun Chen, Shaowei Wang

机构 * Software Performance, Analysis, \ Reliability (SPEAR) Lab\ University Montreal Canada ； DePaul University Chicago USA ； University of Manitoba Winnipeg Canada ； Software Performance, Analysis, \ Reliability (SPEAR) Lab\ University ； DePaul University ； University of Manitoba 纠错

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

ArtifactsBench: Bridging the Visual-Interactive Gap in LLM Code Generation Evaluation

Chenchen Zhang, Yuhang Li, Can Xu, Jiaheng Liu, Ao Liu, Changzhi Zhou, Ken Deng, Dengpeng Wu, Guanhua Huang, Kejiao Li, Qi Yi, Ruibin Xiong, Shihui Hu, Yue Zhang, Yuhao Jiang, Zenan Xu, Yuanxing Zhang, Wiggin Zhou, Chayse Zhou, Fengzong Lian

机构 * Tencent Hunyuan Team（腾讯文脉团队） 纠错

专题命中 代码评测 ：code generation(title,abstract)；分类 cs.SE、cs.CL

A benchmark for vericoding: formally verified program synthesis

Sergiu Bursuc, Theodore Ehrenborg, Shaowei Lin, Lacramioara Astefanoaei, Ionel Emilian Chiosa, Jure Kukovec, Alok Singh, Oliver Butterley, Adem Bizid, Quinn Dougherty, Miranda Zhao, Max Tan, Max Tegmark

专题命中 代码评测 ：program synthesis(title)；分类 cs.SE、cs.LG、cs.PL

Comments 25 pages, 1 figure; data available at https://github.com/Beneficial-AI-Foundation/vericoding-benchmark

PARROT: A Benchmark for Evaluating LLMs in Cross-System SQL Translation

Wei Zhou, Guoliang Li, Haoyu Wang, Yuxing Han, Xufei Wu, Fan Wu, Xuanhe Zhou

专题命中 代码评测 ：分类 cs.CL、cs.AI、cs.LG；repository(comments)

Comments To appear in NeurIPS 2025. Welcome your submission to challenge our leaderboard at: https://code4db.github.io/parrot-bench/. Also visit our code repository at: https://github.com/weAIDB/PARROT

A Near-Real-Time Reduction-Based Algorithm for Coloring Massive Graphs

Chenghao Zhu, Yi Zhou

专题命中 代码评测 ：repository(abstract)

Deep Learning Empowered Super-Resolution: A Comprehensive Survey and Future Prospects

Le Zhang, Ao Li, Qibin Hou, Ce Zhu, Yonina C. Eldar

机构 * School of Information and Communication Engineering, University of Electronic Science and Technology of China（信息与通信工程学院，电子科学与技术大学） ； Tianjin Key Laboratory of Visual Computing and Intelligent Perception, School of Computer Science, Nankai University（视觉计算与智能感知天津重点实验室，计算机科学学院，南开大学） ； Faculty of Mathematics and Computer Science, Weizmann Institute of Science（数学与计算机科学学院，魏兹曼科学研究所） 纠错

专题命中 代码评测 ：repository(abstract)

Comments Accepted by Proceedings of the IEEE

Uncertainty-Guided Expert-AI Collaboration for Efficient Soil Horizon Annotation

Teodor Chiaburu, Vipin Singh, Frank Haußer, Felix Bießmann

机构 * Einstein Center Digital Future Berlin Germany ； Einstein Center Digital Future 纠错

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

Comments 11 pages, 7 figures, presented at ECAI 2025, CLEAR-AI Workshop, Bologna

Neuroplasticity-inspired dynamic ANNs for multi-task demand forecasting

Mateusz Żarski, Sławomir Nowaczyk

机构 * Institute of Theoretical and Applied Informatics（理论与应用信息学院） ； Polish Academy of Sciences（波兰科学院） ； School of Information Technology（信息科技学院） ； Halmstad University（哈姆斯塔德大学） 纠错

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

Comments 14 pages, 3 figures, 2 tables

ScatterAD: Temporal-Topological Scattering Mechanism for Time Series Anomaly Detection

Tao Yin, Xiaohong Zhang, Shaochen Fu, Zhibin Zhang, Li Huang, Yiyuan Yang, Kaixiang Yang, Meng Yan

机构 * Chongqing University（重庆大学） ； South China University of Technology（华南理工大学） 纠错

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

Comments 39th Conference on Neural Information Processing Systems (NeurIPS 2025)

Efficient Reasoning Models: A Survey

Sicheng Feng, Gongfan Fang, Xinyin Ma, Xinchao Wang

机构 * National University of Singapore, Singapore（新加坡国立大学） ； Nankai University, Tianjin, China（南开大学） 纠错

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

Comments TMLR 2025

Code Arcades: 3d Visualization of Classes, Dependencies and Software Metrics

Anthony Savidis, Christos Vasilopoulos

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

TabText: Language-Based Representations of Tabular Health Data for Predictive Modelling

Kimberly Villalobos Carballo, Liangyuan Na, Yu Ma, Léonard Boussioux, Cynthia Zeng, Luis R. Soenksen, Dimitris Bertsimas

机构 * Tandon School of Engineering（坦顿工程学院） ； New York University（纽约大学） ； Operations Research Center（运筹学中心） ； Massachusetts Institute of Technology（麻省理工学院） ； University of Wisconsin, Madison（威斯康星大学麦迪逊分校） ； Foster School of Business（福斯特商学院） ； University of Washington, Foster School of Business（华盛顿大学福斯特商学院） ； Stern School of Business（斯特恩商学院） ； Abdul Latif Jameel Clinic for Machine Learning in Health（阿卜杜勒拉赫曼·贾迈尔健康机器学习诊所） ； Sloan School of Management（斯隆管理学院） 纠错

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

Comparison of Hyperplane Rounding for Max-Cut and Quantum Approximate Optimization Algorithm over Certain Regular Graph Families

Reuben Tate, Swati Gupta

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

TADA: Training-free Attribution and Out-of-Domain Detection of Audio Deepfakes

Adriana Stan, David Combei, Dan Oneata, Horia Cucu

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

Comments Proceedings of Interspeech 2025

Semantic Representation of Processes with Ontology Design Patterns

Ebrahim Norouzi, Sven Hertling, Jörg Waitelonis, Harald Sack

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

Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification

Xu Xu, Xin Li, Xingwei Qu, Jie Fu, Binhang Yuan

机构 * Shanghai AI Lab（上海人工智能实验室） 纠错

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