AI 大模型

代码大模型 / AI 编程

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

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

1. 代码生成 2 篇

2311.02433 2025-10-15 cs.SE cs.AI cs.FL cs.LG cs.LO 67%

Can ChatGPT support software verification?

Christian Janßen, Cedric Richter, Heike Wehrheim

机构 * Carl-von-Ossietzky Universität Oldenburg（奥尔登堡卡尔·冯·奥西特齐大学）

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

Comments accepted at Fundamental Approaches to Software Engineering 2024

2510.10661 2025-10-15 cs.CL cs.AI 62%

AGENTIQL: An Agent-Inspired Multi-Expert Framework for Text-to-SQL Generation

Omid Reza Heidari, Siobhan Reid, Yassine Yaakoubi

机构 * Concordia University（康科德大学）

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

Comments Accepted at NeurIPS 2025, ER "Efficient Reasoning" workshop

2. 软件智能体 1 篇

2510.11838 2025-10-15 cs.SE 79%

Lingxi: Repository-Level Issue Resolution Framework Enhanced by Procedural Knowledge Guided Scaling

Xu Yang, Jiayuan Zhou, Michael Pacheco, Wenhan Zhu, Pengfei He, Shaowei Wang, Kui Liu, Ruiqi Pan

专题命中软件智能体：repository(title,abstract)；分类 cs.SE

3. 代码评测 1 篇

2509.05483 2025-10-15 cs.CV 50%

Veriserum: A dual-plane fluoroscopic dataset with knee implant phantoms for deep learning in medical imaging

Jinhao Wang, Florian Vogl, Pascal Schütz, Saša Ćuković, William R. Taylor

机构 * ETH Zürich, Laboratory for Movement Biomechanics, Institute for Biomechanics, Switzerland（苏黎世联邦理工学院，运动生物力学实验室，生物力学研究所，瑞士）

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

Comments This work has been accepted at MICCAI 2025

Journal ref In: Medical Image Computing and Computer-Assisted Intervention (MICCAI 2025), Lecture Notes in Computer Science (LNCS), Springer, 2025

4. 仓库级理解 4 篇

2510.12253 2025-10-15 cs.LG cs.AI 62%

Diffusion Models for Reinforcement Learning: Foundations, Taxonomy, and Development

Changfu Xu, Jianxiong Guo, Yuzhu Liang, Haiyang Huang, Haodong Zou, Xi Zheng, Shui Yu, Xiaowen Chu, Jiannong Cao, Tian Wang

机构 * Jiangxi University of Finance and Economics（江西财经大学）； Beijing Normal University（北京师范大学）； Anhui University（安徽大学）； Macquarie University（麦考瑞大学）； University of Technology Sydney（悉尼大学）； The University of Science and Technology (Guangzhou)（广州大学）； The Hong Kong Polytechnic University（香港理工大学）

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

Comments Under Review

2504.00236 2025-10-15 cs.RO math.OC 50%

Dynamics-aware Diffusion Models for Planning and Control

Darshan Gadginmath, Fabio Pasqualetti

机构 * Department of Mechanical Engineering, University of California Riverside（加州大学河滨分校机械工程系）

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

Comments 8 pages, 3 figures

2510.12436 2025-10-15 cs.DC cs.PF 50%

TALP-Pages: An easy-to-integrate continuous performance monitoring framework

Valentin Seitz, Jordy Trilaksono, Marta Garcia-Gasulla

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

2502.16283 2025-10-15 math.NA cond-mat.mtrl-sci cs.NA 50%

Finite Element Theory for PHIMATS

Abdelrahman Hussein

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