TY  - RPRT
TI  - Interactive Code Generation via Test-Driven User-Intent Formalization
AU  - Shuvendu K. Lahiri
AU  - Sarah Fakhoury
AU  - Aaditya Naik
AU  - Georgios Sakkas
AU  - Saikat Chakraborty
AU  - Madanlal Musuvathi
AU  - Piali Choudhury
AU  - Curtis von Veh
AU  - Jeevana Priya Inala
AU  - Chenglong Wang
AU  - Jianfeng Gao
PY  - 2023
UR  - https://arxiv.org/abs/2208.05950
ID  - 2208.05950
ER  -