Pith. sign in

REVIEW 7 cited by

IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2410.07295 v2 pith:F7GGSK4P submitted 2024-10-09 cs.SE cs.LGcs.PL

classification cs.SEcs.LGcs.PL
keywords generationitergenoutputsstructuredbacktrackingcodeiterativelanguage
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Large Language Models (LLMs) are widely used for tasks such as natural language and code generation, but their outputs often suffer from issues like hallucination, toxicity, and incorrect results. Current libraries for structured LLM generation rely on left-to-right decoding without support for backtracking, limiting the ability to correct or refine outputs mid-generation. To address this, we introduce IterGen, a user-friendly library for iterative, grammar-guided LLM generation that enables users to move both forward and backward within the generated output based on grammar symbols. By leveraging a symbol-to-position mapping and maintaining the key-value (KV) cache state, IterGen ensures efficient and structured generation while allowing for corrections during the process. We demonstrate IterGen's effectiveness in two important applications: reducing privacy leakage in LLM outputs and improving the accuracy of LLM-generated SQL and Vega-Lite queries. Our code and additional resources are available at https://structuredllm.com.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 7 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Visualizing Graph-to-Answer Mechanism Recovery in Materials-Science Hypothesis Generation

    cs.CL 2026-08 conditional novelty 6.0 of 10

    Under graph corruption, mechanism recovery in Graph-PRefLexOR-8B concentrates in late synthesis and answer-start layers 30 and 36, not in transition layers 7 to 10.

  2. The Format Tax

    cs.CL 2026-04 conditional novelty 6.0 of 10

    Structured-output instructions alone impose a large accuracy tax on open-weight LLMs; decoupling freeform reasoning from formatting recovers most of it, while recent closed models largely avoid the tax.

  3. Componentization: Decomposing Monolithic LLM Responses into Manipulable Semantic Units

    cs.HC 2025-09 conditional novelty 6.0 of 10

    Generative model outputs can be decomposed into typed, linkable components that users edit, toggle, and regenerate before recomposition, as implemented in the MAODchat prototype.

  4. CRANE: Reasoning with constrained LLM generation

    cs.PL 2025-02 conditional novelty 6.0 of 10

    CRANE switches between unconstrained and constrained LLM decoding, increasing functional accuracy on GSM-symbolic and FOLIO while keeping outputs syntactically valid.

  5. FASTGEN: Fast and Cost-Effective Synthetic Tabular Data Generation with LLMs

    cs.LG 2025-07 conditional novelty 4.0 of 10

    FASTGEN uses an LLM to infer per-field distributions and generate reusable Python sampling scripts, cutting token cost by 60x at 10,000 records while approximately matching direct-generation quality on several metrics.

  6. Exploring the Landscape of Text-to-SQL with Large Language Models: Progresses, Challenges and Opportunities

    cs.CL 2025-05 conditional novelty 4.0 of 10

    A systematic review organizing LLM-based text-to-SQL methods into pre-processing, in-context learning, fine-tuning, and post-processing paradigms, with a catalog of datasets, metrics, challenges, and future directions.

  7. Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT

    cs.AI 2025-06 conditional novelty 3.0 of 10

    A ChatGPT-based process, with manual error fixing, translated two PTB-FLA Python algorithms into CSP# models that pass PAT verification.

Pith tools