Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis. - Zhechong Huang; Zhao Zhang; Ruyi Ji; Tingxuan Xia; Qihao Zhu; Qinxiang Cao; Zeyu Sun 004; Yingfei Xiong 001 (CoRR, 2025)