TY  - RPRT
TI  - Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
AU  - Zhechong Huang
AU  - Zhao Zhang
AU  - Ruyi Ji
AU  - Tingxuan Xia
AU  - Qihao Zhu
AU  - Qinxiang Cao
AU  - Zeyu Sun
AU  - Wiggin Zhou
AU  - Yingfei Xiong
PY  - 2026
UR  - https://arxiv.org/abs/2510.10216
ID  - 2510.10216
ER  -