Showing 2025 · cs.PLShow all
2 papers · 2 filters
cs.PL2025
Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
Zhechong Huang, Zhao Zhang, Ruyi Ji +6
Language models have shown remarkable proficiency in code generation; nevertheless, ensuring type correctness remains a challenge. Although traditional methods, such as constrained…
cs.PL2025
Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?
Qingyuan Liang, Zhao Zhang, Zeyu Sun +9
Grammar serves as a cornerstone in programming languages and software engineering, providing frameworks to define the syntactic space and program structure. Existing research demon…