Zhechong Huang Zhao Zhang Ruyi Ji Tingxuan Xia Qihao Zhu Qinxiang Cao Zeyu Sun 0004 Yingfei Xiong 0001 Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis. 2025 October abs/2510.10216 CoRR https://doi.org/10.48550/arXiv.2510.10216 db/journals/corr/corr2510.html#abs-2510-10216 streams/journals/corr