AI 大模型

代码大模型 / AI 编程

代码生成、软件工程智能体、程序修复、测试生成和开发者工具。

2025-10-01 至 2025-10-01 共收录 4 篇信号源：cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 仓库级理解 4 篇

2502.17139 2025-10-01 cs.AI cs.SE 88%

FastCoder: Accelerating Repository-level Code Generation via Efficient Retrieval and Verification

Qianhui Zhao, Li Zhang, Fang Liu, Xiaoli Lian, Qiaoyuanhe Meng, Ziqian Jiao, Zetong Zhou, Jia Li, Lin Shi

机构 * 1 State Key Laboratory of Complex \& Critical Software Environment, School of Computer Science ； Engineering Beihang University, China ； 2 School of Software, Beihang University, China ； 3 Peking University, China

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

Comments Accepted by ASE 2025

2509.25197 2025-10-01 cs.SE cs.AI cs.PL 82%

Towards Repository-Level Program Verification with Large Language Models

Si Cheng Zhong, Xujie Si

机构 * University of Toronto（多伦多大学）

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

Comments Accepted to LMPL 2025

2509.25257 2025-10-01 cs.SE cs.IR cs.LG 81%

RANGER -- Repository-Level Agent for Graph-Enhanced Retrieval

Pratik Shah, Rajat Ghosh, Aryan Singhal, Debojyoti Dutta

机构 * Georgia Institute of Technology（佐治亚理工学院）； Nutanix（Nutanix公司）

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

Comments 24 pages, 4 figures

2509.26120 2025-10-01 cs.DC cs.AI cs.PF 57%

AGOCS -- Accurate Google Cloud Simulator Framework

Leszek Sliwko, Vladimir Getov

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

Comments This is the accepted author's version of the paper. The final published version is available in the Proceedings of the 2016 IEEE International Conferences on Ubiquitous Intelligence and Computing (UIC), Advanced and Trusted Computing (ATC), Scalable Computing and Communications (ScalCom), Cloud and Big Data Computing (CBDCom), Internet of People (IoP), and Smart World Congress (SmartWorld)