arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~

AI 大模型

代码大模型 / AI 编程

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

2025-09-10 至 2025-09-10 共收录 2 信号源:cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 程序修复 2 篇

2507.03659 2025-09-10 cs.SE cs.PL 73%

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs

Valentina Wu, Alexandra Mendes, Alexandre Abreu

专题命中 程序修复 :program repair(abstract);program synthesis(abstract);分类 cs.SE、cs.PL

详情

展开后加载摘要…

URL PDF HTML 收藏
2310.02407 2025-09-10 cs.SE cs.LG 62%

Challenging Bug Prediction and Repair Models with Synthetic Bugs

Ali Reza Ibrahimzada, Yang Chen, Ryan Rong, Reyhaneh Jabbarvand

机构 * University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校) Stanford University(斯坦福大学)

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

Comments Published in SCAM 2025

详情

展开后加载摘要…

URL PDF HTML 收藏