@misc{indiciae89f8a6cedc18,
  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 = {2026},
  url = {https://arxiv.org/abs/2510.10216},
  note = {Source identifier: 2510.10216}
}