论文信息 - Interactive Code Generation via Test-Driven User-Intent Formalization - 字舞流文

Interactive Code Generation via Test-Driven User-Intent Formalization

Shuvendu K. Lahiri | Curtis von Veh | M. Musuvathi | Piali Choudhury | Jianfeng Gao | J. Inala | Aaditya Naik | Georgios Sakkas | Chenglong Wang