Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars

1 code implementation • 28 Feb 2024 • Daniel Melcer, Nathan Fulton, Sanjay Krishna Gouda, Haifeng Qian

Large Language Models are powerful tools for program synthesis and advanced auto-completion, but come with no guarantee that their output code is syntactically correct.

Program Synthesis