Specification-Guided Generation for Large Language Models

Alessandro Previti, Konstantinos Vandikas, Mario Alviano +6

Large language models (LLMs) can generate structured outputs, but existing constrained-decoding methods mainly enforce syntax and cannot directly enforce satisfaction of a formal s…