@article{learningtoguaranteetypecorrectnessincode,
  title = {Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis},
  author = {Zhechong Huang and Zhao Zhang and Ruyi Ji and Tingxuan Xia and Qihao Zhu and Qinxiang Cao and Zeyu Sun and Wiggin Zhou and Yingfei Xiong},
  year = {2025},
  eprint = {2510.10216},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2510.10216},
}