Learning Context-Free Grammars for Grammar-Constrained Decoding via Declarative Agentic Programming with Guarantees

arXiv:2608.05493 · cs.PL, cs.AI, cs.CL, cs.SE · Submitted 2026-08-06 · Read on arXiv

Kevin Cheang, Geoff Hulette, Rahul Kumar, Felipe R. Monteiro, Federico Mora, Robin Salkeld, Lin Tan, Serdar Tasiran

cs.PL, cs.AI, cs.CL, cs.SE

Submitted: 2026-08-06

Comments: 9 pages, 3 figures, 2 tables

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

Verification — 5× in this paper · explained in 2 episodes
Datadog Search Syntax — 4× in this paper
Active Learning — 3× in this paper · explained in 6 episodes
Amazon Web Services — 2× in this paper
Benchmark — 2× in this paper · explained in 2 episodes
Dynatrace Query Language — 2× in this paper
Linear Temporal Logic (LTL) — 2× in this paper · explained in 4 episodes
PDDL — 2× in this paper · explained in 2 episodes
Ablation — 1× in this paper · explained in 1 episode
Ablation Study — 1× in this paper · explained in 3 episodes
Composition — 1× in this paper · explained in 2 episodes
Decoder — 1× in this paper · explained in 2 episodes
Formal Methods — 1× in this paper · explained in 3 episodes
In-Context Learning — 1× in this paper · explained in 7 episodes
Memorization — 1× in this paper · explained in 4 episodes
Papers — 1× in this paper · explained in 3 episodes
Text-to-SQL — 1× in this paper · explained in 4 episodes
Trace — 1× in this paper · explained in 2 episodes

Sources

Related papers