constrained-decoding

Query language for blending SQL and local language models across structured + unstructured data, with type constraints.

Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]

Constrained Decoding of Diffusion LLMs with Context-Free Grammars.

For our ICRA 2025 paper 🏆 "SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models" by Yi Wu, Zikang Xiong, Yiran Hu, Shreyash Iyengar, Nan Jiang, Aniket Bera, Lin Tan, and Suresh Jagannathan. (🏆 Best Paper Award Finalist!)

📐 Just-in-time logic enforcement for network data generation with LLMs

A guide to structured generation using constrained decoding

Code for paper "Extract, Denoise and Enforce: Evaluating and Improving Concept Preservation for Text-to-Text Generation" EMNLP 2021 and "Constrained Abstractive Summarization: Preserving Factual Consistency with Constrained Generation" arXiv 2020

Constraint-driven code generation that transforms AI from probabilistic guessing into controlled search through valid program spaces.

[Pytorch] Efficient tokenization for recommendations and generative retrieval. Inspired by STATIC decoding from "Vectorizing the Trie"

Speculative grammar backtracking algorithm for LLM decoding conforming to some lark context-free grammar (CFG)

PEG grammars as LLM output constraints. TypeScript-native parser generator with parametric rules.

🧠 Visualize token-by-token sampling with chat templates, nucleus filtering, constrained decoding, and attribution heatmaps in one local app ⚡

🤖 AI-powered function calling engine using a LLM to convert natural language prompts into validated JSON function calls.

Context-Free Grammar-guided Generation of FHIR Resources Using Large Language Models

A function calling tool that translates natural language prompts into structured function calls using a small LLM and constrained decoding

Convert a regular expression into a GBNF grammar for constrained decoding with llama.cpp and local LLMs. Zero dependencies.

VibeDrift - Run any LLM on your own hardware. Bypass the VRAM wall with CPU/RAM inference, MOE expert offloading, and 4-bit quantization. No Cloud, no Subscription.

Reproduction & re-implementation of the AloLab paper (arXiv:2605.02363): closing the structured-output reliability gap in small LLMs via iterative black-box prompt optimization. GSM8K, 4 models, ablations, McNemar significance.

A verification-first agentic engine that makes tiny local LLMs (Gemma E2B, Q4, CPU-only) reliably useful on non-prosumer hardware. Grammar-constrained decoding, deterministic orchestration, KV-cache-aware prompting, consent-based autonomy. The model stays small; the system becomes large. No cloud LLM APIs, ever.

ServiceNow → GBNF grammar + iii worker generator | Open-source deterministic AI connector