Can ChatGPT support software verification?
机构 * Carl-von-Ossietzky Universität Oldenburg(奥尔登堡卡尔·冯·奥西特齐大学)
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.AI、cs.LG
Comments accepted at Fundamental Approaches to Software Engineering 2024
AI 大模型
代码生成、软件工程智能体、程序修复、测试生成和开发者工具。
机构 * Carl-von-Ossietzky Universität Oldenburg(奥尔登堡卡尔·冯·奥西特齐大学)
专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.AI、cs.LG
Comments accepted at Fundamental Approaches to Software Engineering 2024
机构 * Concordia University(康科德大学)
专题命中 代码生成 :coding agent(abstract);分类 cs.CL、cs.AI
Comments Accepted at NeurIPS 2025, ER "Efficient Reasoning" workshop