Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation

Beurer-Kellner, Luca, Fischer, Marc, Vechev, Martin · arXiv · 2024