代码大模型 / AI 编程

CLEVER: A Curated Benchmark for Formally Verified Code Generation

Amitayush Thakur, Jasper Lee, George Tsoukalas, Meghana Sistla, Matthew Zhao, Stefan Zetzsche, Greg Durrett, Yisong Yue, Swarat Chaudhuri

机构 * UT Austin（得克萨斯大学） ； Amazon（亚马逊） ； Caltech（加州理工学院） 纠错

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

Knowledge-Guided Multi-Agent Framework for Application-Level Software Code Generation

Qian Xiong, Bo Yang, Weisong Sun, Yiran Zhang, Tianlin Li, Yang Liu, Zhi Jin

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

The Invisible Hand: Unveiling Provider Bias in Large Language Models for Code Generation

Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Qingshuang Bao, Weipeng Jiang, Qian Wang, Chao Shen, Yang Liu

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

Comments 27 pages, 13 figures

Execution Guided Line-by-Line Code Generation

Boaz Lavon, Shahar Katz, Lior Wolf

机构 * Blavatnik School of Computer Science and AI, Tel Aviv University（巴尔-以色列计算机科学与人工智能学院，特拉维夫大学） 纠错

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

Comments Accepted to NeurIPS 2026

A Comprehensive Survey on Benchmarks and Solutions in Software Engineering of LLM-Empowered Agentic System

Jiale Guo, Suizhi Huang, Mei Li, Dong Huang, Xingsheng Chen, Regina Zhang, Zhijiang Guo, Han Yu, Siu-Ming Yiu, Pietro Lio, Kwok-Yan Lam

机构 * Digital Trust Centre, Nanyang Technological University, Singapore（南洋理工大学数字信任中心） ； College of Computing and Data Science, Nanyang Technological University, Singapore（南洋理工大学计算与数据科学学院） ； The Hong Kong University of Science and Technology, Hong Kong（香港科学与技术大学） ； School of Computer Science, Shanghai Jiao Tong University, Shanghai, China（上海交通大学计算机科学学院） ； School of Computing and Data Science, The University of Hong Kong, Hong Kong（香港大学计算与数据科学学院） ； School of Computer Science and Technology, The University of Cambridge, UK（剑桥大学计算机科学与技术学院） 纠错

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

Comments 22 pages

FlyLoRA: Boosting Task Decoupling and Parameter Efficiency via Implicit Rank-Wise Mixture-of-Experts

Heming Zou, Yunliang Zang, Wutong Xu, Yao Zhu, Xiangyang Ji

机构 * Department of Automation, Tsinghua University（自动化系，清华大学） ； Academy of Medical Engineering and Translational Medicine, Tianjin University（医学工程与转化医学学院，天津大学） 纠错

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

Comments NeurIPS 2025 accepted paper

Compositional Coordination for Multi-Robot Teams with Large Language Models

Zhehui Huang, Guangyao Shi, Yuwei Wu, Vijay Kumar, Gaurav S. Sukhatme

机构 * Department of Computer Science, University of Southern California（计算机科学系，南加州大学） ； GRASP Lab, University of Pennsylvania（GRASP实验室，宾夕法尼亚大学） 纠错

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

Comments IEEE International Symposium on Multi-Robot & Multi-Agent Systems (MRS 2025) Oral

Large Language Model enabled Mathematical Modeling

Guoyun Zhang

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

Text Generation Beyond Discrete Token Sampling

Yufan Zhuang, Liyuan Liu, Chandan Singh, Jingbo Shang, Jianfeng Gao

机构 * UC San Diego（加州大学圣地亚哥分校） ； Microsoft Research（微软研究院） 纠错

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

Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies

Jieke Shi, Junda He, Zhou Yang, Đorđe Žikelić, David Lo

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

Comments Accepted by ACM Transactions on Software Engineering and Methodology (TOSEM), 39 pages

CodeFuse-CR-Bench: A Comprehensiveness-aware Benchmark for End-to-End Code Review Evaluation in Python Projects

Hanyang Guo, Xunjin Zheng, Zihan Liao, Hang Yu, Peng DI, Ziyin Zhang, Hong-Ning Dai

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

ACS-SegNet: An Attention-Based CNN-SegFormer Segmentation Network for Tissue Segmentation in Histopathology

Nima Torbati, Anastasia Meshcheryakova, Ramona Woitek, Diana Mechtcheriakova, Amirreza Mahbod

机构 * Research Center for Medical Image Analysis（医学图像分析研究中心） ； Artificial Intelligence, Department of Medicine, Faculty of Medicine（人工智能，医学系，医学学院） ； Dentistry, Danube Private University Department of Pathophysiology（牙科，丹ube私立大学病理学系） ； Allergy Research, Center of Pathophysiology, Infectiology（过敏研究，病理学中心，感染学） ； Immunology, Medical University of Vienna Comprehensive Center for AI in Medicine (CAIM), Medical University of Vienna（免疫学，维也纳医学大学人工智能医学中心（CAIM），维也纳医学大学） 纠错

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

Comments 5 pages

Learning to Hash for Recommendation: A Survey

Fangyuan Luo, Yankai Chen, Jun Wu, Tong Li, Philip S. Yu, Xue Liu

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

A Multi-Layer Machine Learning and Econometric Pipeline for Forecasting Market Risk: Evidence from Cryptoasset Liquidity Spillovers

Yimeng Qiu, Feihuang Fang

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

OpenMIBOOD: Open Medical Imaging Benchmarks for Out-Of-Distribution Detection

Max Gutbrod, David Rauber, Danilo Weber Nunes, Christoph Palm

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

Comments Updated results for NNGuide and ViM

On Infinite Tensor Networks, Complementary Recovery and Type II Factors

Wissam Chemissany, Elliott Gesteau, Alexander Jahn, Daniel Murphy, Leo Shaposhnik

专题命中 程序分析与验证 ：code model(abstract)

Comments 20 + 9 pages, 16 figures

Journal ref J. Phys. A: Math. Theor. 58 435301 (2025)

CipherGuard: Compiler-aided Mitigation against Ciphertext Side-channel Attacks

Ke Jiang, Sen Deng, Yinshuai Li, Shuai Wang, Tianwei Zhang, Yinqian Zhang

专题命中 程序分析与验证 ：code generation(abstract)