Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
通过类型引导的程序合成学习保证类型正确性
机构 * Peking University(北京大学) ; University of Michigan(密歇根大学) ; Shanghai Jiao Tong University(上海交通大学) ; Institute of Software, Chinese Academy of Sciences(中国科学院软件研究所) ; Tencent(腾讯)
专题命中 代码生成 :code generation(title,abstract);program synthesis(title,abstract);分类 cs.SE、cs.AI、cs.PL
AI总结 TyFlow 通过内部化类型推理,提升代码生成的类型正确性与功能正确性。