Mündler, N., He, J., Wang, H., Sen, K., Song, D., & Vechev, M. (2025). Type-Constrained Code Generation with Language Models.
Chicago Style (17th ed.) CitationMündler, Niels, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, and Martin Vechev. Type-Constrained Code Generation with Language Models. 2025.
MLA (9th ed.) CitationMündler, Niels, et al. Type-Constrained Code Generation with Language Models. 2025.
Warning: These citations may not always be 100% accurate.