Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation
This program is tentative and subject to change.
Mon 12 Jan 2026 11:00 - 12:30 at Salle 20 - Syntactically and Semantically Constraining LLMs
The Structured LLM project (https://structuredllm.com/) makes it easy to use syntactic and semantic constraints to get precise and reliable outputs from large language models (LLMs). Our research develops novel frameworks that ensure LLM-generated content adheres to specific format rules and grammar specifications for languages like JSON, SQL, Python, and Java. Through innovations like grammar augmentation, iterative structured generation with backtracking, and reasoning-augmented constrained decoding, we aim to eliminate syntax and semantic errors and improve the overall quality of structured outputs for applications in code generation, data serialization formats, and symbolic reasoning tasks. The tutorial will present the theory behind structured LLM generation, demos, and hands-on exercises. We will demonstrate how to incorporate the Structured LLM constrained generation tools during LLM inference to guarantee syntactic and semantic validity of structured outputs.
This program is tentative and subject to change.
Mon 12 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:30 | |||
09:00 90mTutorial | Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation Tutorials Sasa Misailovic University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research, Shubham Ugare Meta, Debangshu Banerjee UIUC, Tarun Suresh , Adharsh Kamath UIUC | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation Tutorials Sasa Misailovic University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research, Shubham Ugare Meta, Debangshu Banerjee UIUC, Tarun Suresh , Adharsh Kamath UIUC | ||