Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
arXiv:2510.10216v2 Announce Type: replace Abstract: Language models have shown remarkable proficiency in code generation; nevertheless, ensuring type correctness remains a challenge. Although traditional methods, such...