Correctness-Guaranteed Code Generation via Constrained Decoding

Lingxiao Li, Salar Rahili, Yiwei Zhao

Language Models (LMs) are increasingly being used for code generation, but ensuring the correctness of generated programs remains a significant challenge. Although imperfect code m…