Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
专题命中 程序修复 :program repair(abstract);program synthesis(abstract);分类 cs.SE、cs.PL
AI 大模型
代码生成、软件工程智能体、程序修复、测试生成和开发者工具。
专题命中 程序修复 :program repair(abstract);program synthesis(abstract);分类 cs.SE、cs.PL
机构 * University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校) ; Stanford University(斯坦福大学)
专题命中 程序修复 :program repair(abstract);分类 cs.SE、cs.LG
Comments Published in SCAM 2025