Correctness-Guaranteed Code Generation via Constrained Decoding
机构 * Netflix
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE、cs.LG、cs.PL
Comments Published at COLM 2025
AI 大模型
代码生成、软件工程智能体、程序修复、测试生成和开发者工具。
机构 * Netflix
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE、cs.LG、cs.PL
Comments Published at COLM 2025
机构 * Shanghai Artificial Intelligence Laboratory(上海人工智能实验室) ; Tsinghua University(清华大学) ; Harbin Institute of Technology(哈尔滨工业大学) ; Beijing Institute of Technology(北京理工大学) ; AI Thrust, HKUST(GZ)(AI thrust, 香港科技大学(广州))
专题命中 代码生成 :code generation(title)
专题命中 代码生成 :code generation(abstract);分类 cs.SE