NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristics
Not on the map. Why?
Abstract (arXiv)
The dominant paradigm for neural text generation is left-to-right decoding from autoregressive language models. Constrained or controllable generation under complex lexical constraints, however, requires foresight to plan ahead feasible future paths. Drawing inspiration from the A* search algorithm, we propose NeuroLogic A*esque, a decoding algorithm that incorporates heuristic estimates of future cost. We develop efficient lookahead heuristics that are efficient for large-scale language models, making our method a drop-in replacement for common techniques such as beam search and top-k sampling. To enable constrained generation, we build on NeuroLogic decoding (Lu et al., 2021), combining its flexibility in incorporating logical constraints with A*esque estimates of future constraint satisfaction. Our approach outperforms competitive baselines on five generation tasks, and achieves new state-of-the-art performance on table-to-text generation, constrained machine translation, and keyword-constrained generation. The improvements are particularly notable on tasks that require complex constraint satisfaction or in few-shot or zero-shot settings. NeuroLogic A*esque illustrates the power of decoding for improving and enabling new capabilities of large-scale language models.
Key facts. Cited by 153 papers in the map (data through 7 Oct 2026). Builds on 33 of its 67 references that are in the map. First posted on arXiv 16 Dec 2021.
Builds on
33 of 67 references.
References · 33
- 2020Language Models are Few-Shot Learnerscited by 32,199
- 2021Prefix-Tuning: Optimizing Continuous Prompts for Generationcited by 3,878
- 2019The Curious Case of Neural Text Degenerationcited by 2,881
- 2014CIDEr: Consensus-based Image Description Evaluationcited by 2,027
- 2018Hierarchical Neural Story Generationcited by 1,182
- 2016SPICE: Semantic Propositional Image Caption Evaluationcited by 820
- 2019Plug and Play Language Models: A Simple Approach to Controlled Text Generationcited by 793
- 2019Neural Text Generation with Unlikelihood Trainingcited by 489
- 2016A Corpus and Evaluation Framework for Deeper Understanding of Commonsense Storiescited by 413
- 2017Toward Controlled Generation of Textcited by 271
- 2017Lexically Constrained Decoding for Sequence Generation Using Grid Beam Searchcited by 234
- 2017Challenges in Data-to-Document Generationcited by 226
21 more
- 2018Marian: Fast Neural Machine Translation in C++cited by 202
- 2018Fast Lexically Constrained Decoding with Dynamic Beam Allocation for Neural Machine Translationcited by 181
- 2020NeuroLogic Decoding: (Un)supervised Neural Text Generation with Predicate Logic Constraintscited by 146
- 2016Guided Open Vocabulary Image Captioning with Constrained Beam Searchcited by 105
- 2018CGMH: Constrained Sentence Generation by Metropolis-Hastings Samplingcited by 93
- 2020Logical Natural Language Generation from Open-Domain Tablescited by 90
- 2019Comparison of Diverse Decoding Methods from Conditional Language Modelscited by 78
- 2020The Radicalization Risks of GPT-3 and Advanced Neural Language Modelscited by 76
- 2019Training Neural Machine Translation To Apply Terminology Constraintscited by 73
- 2019Non-Monotonic Sequential Text Generationcited by 55
- 2021Machine Translation Decoding beyond Beam Searchcited by 55
- 2020Best-First Beam Searchcited by 40
- 2018Neural Machine Translation Decoding with Terminology Constraintscited by 36
- 2019Pragmatically Informative Text Generationcited by 32
- 2017Recurrent Neural Networks as Weighted Language Recognizerscited by 30
- 2018Findings of the E2E NLG Challengecited by 28
- 2016Sequence-to-Sequence Generation for Spoken Dialogue via Deep Syntax Trees and Stringscited by 27
- 2016Multi-domain Neural Network Language Generation for Spoken Dialogue Systemscited by 18
- 2020Reflective Decoding: Beyond Unidirectional Generation with Off-the-Shelf Language Modelscited by 9
- 2020Opportunistic Decoding with Timely Correction for Simultaneous Translationcited by 8
- 2016Global Neural CCG Parsing with Optimality Guaranteescited by 6
Built on by
Citing papers per year: 2022: 21; 2023: 53; 2024: 42; 2025: 17; 2026: 20.
153 papers.
Sort:
By area:
- 2023Tree of Thoughts: Deliberate Problem Solving with Large Language Modelscited by 3,155
- 2024Break the Sequential Dependency of LLM Inference Using Lookahead Decodingcited by 295
- 2022Generating Sequences by Learning to Self-Correctcited by 271
- 2022A Contrastive Framework for Neural Text Generationcited by 224
- 2023Planning with Large Language Models for Code Generationcited by 179
- 2024COLD-Attack: Jailbreaking LLMs with Stealthiness and Controllabilitycited by 162
- 2024From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Modelscited by 136
- 2024Beyond Autoregression: Discrete Diffusion for Complex Reasoning and Planningcited by 135
- 2023Controlled Decoding from Language Modelscited by 133
- 2022Internet-augmented language models through few-shot prompting for open-domain question answeringcited by 131
- 2023Branch-Solve-Merge Improves Large Language Model Evaluation and Generationcited by 104
- 2023Amortizing intractable inference in large language modelscited by 94
38 more
- 2023Controlled Text Generation with Natural Language Instructionscited by 87
- 2024Reversing the Forget-Retain Objectives: An Efficient LLM Unlearning Framework from Logit Differencecited by 85
- 2022Language Generation Models Can Cause Harm: So What Can We Do About It? An Actionable Surveycited by 80
- 2023Sequential Monte Carlo Steering of Large Language Models using Probabilistic Programscited by 79
- 2022NaturalProver: Grounded Mathematical Proof Generation with Language Modelscited by 72
- 2023COLLIE: Systematic Construction of Constrained Text Generation Taskscited by 69
- 2023Tractable Control for Autoregressive Language Generationcited by 65
- 2022Gradient-Based Constrained Sampling from Language Modelscited by 64
- 2022Improving Multi-turn Emotional Support Dialogue Generation with Lookahead Strategy Planningcited by 59
- 2023Don't throw away your value model! Generating more preferable text with Value-Guided Monte-Carlo Tree Search decodingcited by 59
- 2024DeAL: Decoding-time Alignment for Large Language Modelscited by 55
- 2024Grammar-Aligned Decodingcited by 54
- 2023See, Think, Confirm: Interactive Prompting Between Vision and Language Models for Knowledge-based Visual Reasoningcited by 49
- 2023From task structures to world models: What do LLMs know?cited by 46
- 2025Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlocited by 45
- 2022LayoutFormer++: Conditional Graphic Layout Generation via Constraint Serialization and Decoding Space Restrictioncited by 43
- 2023KCTS: Knowledge-Constrained Tree Search Decoding with Token-Level Hallucination Detectioncited by 43
- 2022Controllable Text Generation with Neurally-Decomposed Oraclecited by 41
- 2022Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computingcited by 34
- 2024DeepEdit: Knowledge Editing as Decoding with Constraintscited by 33
- 2023Faithfulness-Aware Decoding Strategies for Abstractive Summarizationcited by 31
- 2024Adaptable Logical Control for Large Language Modelscited by 30
- 2023Elastic Weight Removal for Faithful and Abstractive Dialogue Generationcited by 29
- 2022I Can't Believe There's No Images! Learning Visual Tasks Using only Language Supervisioncited by 26
- 2023Denevil: Towards Deciphering and Navigating the Ethical Values of Large Language Models via Instruction Learningcited by 26
- 2024Non-myopic Generation of Language Models for Reasoning and Planningcited by 25
- 2023Generating Summaries with Controllable Readability Levelscited by 24
- 2024SafeInfer: Context Adaptive Decoding Time Safety Alignment for Large Language Modelscited by 22
- 2023A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraintscited by 21
- 2024LiSeCo: Linear Semantic Control for Language Generationcited by 20
- 2025Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Samplingcited by 20
- 2024DeFT: Decoding with Flash Tree-attention for Efficient Tree-structured LLM Inferencecited by 19
- 2022Controllable Text Generation with Language Constraintscited by 18
- 2023Adaptive and Personalized Exercise Generation for Online Language Learningcited by 18
- 2024Text Generation: A Systematic Literature Review of Tasks, Evaluation, and Challengescited by 18
- 2022Penguins Don't Fly: Reasoning about Generics through Instantiations and Exceptionscited by 17
- 2024Permute-and-Flip: An optimally stable and watermarkable decoder for LLMscited by 17
- 2025Constrained Discrete Diffusioncited by 16
50 most cited of 153 All 153 (JSON)
- 2026GrammarRL: Effective Grammar-Constrained Decoding via Reinforcement Learning30 Sep 2026
- 2026Constraints Are Graphs, Not Chains: Exact Decoding for Diffusion Language Models26 Sep 2026
- 2026BlueprintAgent: Constraint-Triggered Targeted Revisits for Simulation-Ready Generation from Scanned Structural Blueprints7 Sep 2026
- 2026Beyond Tokens: A Survey on Decoding Methods for Large Language and Vision-Language Models14 Aug 2026
- 2026Trie Automata for Constrained Decoding over Large Finite Sets12 Aug 2026
- 2026Large Language Models Can Follow Instructions, But Not Many at Once: Phase Transitions in Compositional Constraint Satisfaction12 Aug 2026
- 2026LabGuard: Grounding Natural-Language Laboratory Rules into Runtime Guards for Embodied Laboratory Agents30 Jun 2026
- 2026Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies6 Jun 2026
- 2026A Comparative Study of Controlled Text Generation Systems Using Level-Playing-Field Evaluation Principles12 May 2026
- 2026NCO: A Versatile Plug-in for Handling Negative Constraints in Decoding11 May 2026
- 2026Primal-Dual Guided Decoding for Constrained Discrete Diffusion10 May 2026
- 2026Lost in Decoding? Reproducing and Stress-Testing the Look-Ahead Prior in Generative Retrieval25 Apr 2026
38 more
- 2026LatticeBridge: Rare-Event Sequential Inference for Faithful Structured Sequence Synthesis22 Apr 2026
- 2026Extracting Training Dialogue Data from Large Language Model based Task Bots2 Mar 2026
- 2026Suffix-Constrained Greedy Search Algorithms for Causal Language Models1 Mar 2026
- 2026Vectorizing the Trie: Efficient Constrained Decoding for LLM-based Generative Retrieval on Accelerators26 Feb 2026
- 2026Making Large Language Models Speak Tulu: Structured Prompting for an Extremely Low-Resource Language17 Feb 2026
- 2026PathCRF: Ball-Free Soccer Event Detection via Possession Path Inference from Player Trajectories12 Feb 2026
- 2026Search-Augmented Masked Diffusion Models for Constrained Generation2 Feb 2026
- 2026Entropy-Tree: Tree-Based Decoding with Entropy-Guided Exploration2 Jan 2026
- 2025A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving18 Dec 2025
- 2025Incorporating Structure and Chord Constraints in Symbolic Transformer-based Melodic Harmonization8 Dec 2025
- 2025Orthographic Constraint Satisfaction and Human Difficulty Alignment in Large Language Models26 Nov 2025
- 2025Constraints-of-Thought: A Framework for Constrained Reasoning in Language-Model-Guided Search10 Oct 2025
- 2025Infusing Theory of Mind into Socially Intelligent LLM Agents26 Sep 2025
- 2025Neuro-Symbolic Predictive Process Monitoring31 Aug 2025
- 2025ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search11 Jun 2025
- 2025Tokenized Bandit for LLM Decoding and Alignment8 Jun 2025
- 2025Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective6 Jun 2025
- 2025Large Language Model Meets Constraint Propagation29 May 2025
- 2025Semantic Probabilistic Control of Language Models4 May 2025
- 2025Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo17 Apr 2025
- 2025Self-Steering Language Models9 Apr 2025
- 2025Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling7 Apr 2025
- 2025Constrained Discrete Diffusion12 Mar 2025
- 2025textttSEM-CTRL: Semantically Controlled Decoding3 Mar 2025
- 2025Aligning Sentence Simplification with ESL Learner's Proficiency for Language Acquisition17 Feb 2025
- 2024HalluCana: Fixing LLM Hallucination with A Canary Lookahead10 Dec 2024
- 2024Constrained Decoding with Speculative Lookaheads9 Dec 2024
- 2024Conditional [MASK] Discrete Diffusion Language Model10 Nov 2024
- 2024Teaching Models to Improve on Tape3 Nov 2024
- 2024Non-myopic Generation of Language Models for Reasoning and Planning22 Oct 2024
- 2024Beyond Autoregression: Discrete Diffusion for Complex Reasoning and Planning18 Oct 2024
- 2024Controllable Generation via Locally Constrained Resampling17 Oct 2024
- 2024Guaranteed Generation from Large Language Models9 Oct 2024
- 2024Attribute Controlled Fine-tuning for Large Language Models: A Case Study on Detoxification7 Oct 2024
- 2024Control Large Language Models via Divide and Conquer6 Oct 2024
- 2024Model-based Preference Optimization in Abstractive Summarization without Human Feedback27 Sep 2024
- 2024Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification24 Sep 2024
- 2024Analysis of Plan-based Retrieval for Grounded Text Generation20 Aug 2024
50 newest of 153 All 153 (JSON)
- 2023Tree of Thoughts: Deliberate Problem Solving with Large Language Modelscited by 3,155
- 2024Beyond Autoregression: Discrete Diffusion for Complex Reasoning and Planningcited by 135
- 2023Don't throw away your value model! Generating more preferable text with Value-Guided Monte-Carlo Tree Search decodingcited by 59
- 2023See, Think, Confirm: Interactive Prompting Between Vision and Language Models for Knowledge-based Visual Reasoningcited by 49
- 2024DeepEdit: Knowledge Editing as Decoding with Constraintscited by 33
- 2024Non-myopic Generation of Language Models for Reasoning and Planningcited by 25
- 2025Self-Steering Language Modelscited by 13
- 2023Explicit Planning Helps Language Models in Logical Reasoningcited by 12
- 2024Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verificationcited by 10
- 2023Certified Deductive Reasoning with Language Modelscited by 8
- 2024Combining Constraint Programming Reasoning with Large Language Model Predictionscited by 8
- 2024Chain of Evidences and Evidence to Generate: Prompting for Context Grounded and Retrieval Augmented Reasoningcited by 7
12 most cited of 14 All 14 (JSON)
- 2026Entropy-Tree: Tree-Based Decoding with Entropy-Guided Exploration2 Jan 2026
- 2025Constraints-of-Thought: A Framework for Constrained Reasoning in Language-Model-Guided Search10 Oct 2025
- 2025Self-Steering Language Models9 Apr 2025
- 2024Non-myopic Generation of Language Models for Reasoning and Planning22 Oct 2024
- 2024Beyond Autoregression: Discrete Diffusion for Complex Reasoning and Planning18 Oct 2024
- 2024Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification24 Sep 2024
- 2024Combining Constraint Programming Reasoning with Large Language Model Predictions18 Jul 2024
- 2024DeepEdit: Knowledge Editing as Decoding with Constraints19 Jan 2024
- 2024Chain of Evidences and Evidence to Generate: Prompting for Context Grounded and Retrieval Augmented Reasoning11 Jan 2024
- 2023Don't throw away your value model! Generating more preferable text with Value-Guided Monte-Carlo Tree Search decoding26 Sep 2023
- 2023Certified Deductive Reasoning with Language Models6 Jun 2023
- 2023Tree of Thoughts: Deliberate Problem Solving with Large Language Models17 May 2023
12 newest of 14 All 14 (JSON)
- 2025Constrained Discrete Diffusioncited by 16
- 2023NeuroPrompts: An Adaptive Framework to Optimize Prompts for Text-to-Image Generationcited by 10
- 2024Conditional [MASK] Discrete Diffusion Language Modelcited by 4
- 2026Primal-Dual Guided Decoding for Constrained Discrete Diffusioncited by 3
- 2026Search-Augmented Masked Diffusion Models for Constrained Generationcited by 1
- 2026Constraints Are Graphs, Not Chains: Exact Decoding for Diffusion Language Modelscited by 0
- 2026Constraints Are Graphs, Not Chains: Exact Decoding for Diffusion Language Models26 Sep 2026
- 2026Primal-Dual Guided Decoding for Constrained Discrete Diffusion10 May 2026
- 2026Search-Augmented Masked Diffusion Models for Constrained Generation2 Feb 2026
- 2025Constrained Discrete Diffusion12 Mar 2025
- 2024Conditional [MASK] Discrete Diffusion Language Model10 Nov 2024
- 2023NeuroPrompts: An Adaptive Framework to Optimize Prompts for Text-to-Image Generation20 Nov 2023
- 2023Formally Specifying the High-Level Behavior of LLM-Based Agentscited by 15
- 2023Don't Fine-Tune, Decode: Syntax Error-Free Tool Use via Constrained Decodingcited by 13
- 2025Infusing Theory of Mind into Socially Intelligent LLM Agentscited by 7
- 2023Improving Planning with Large Language Models: A Modular Agentic Architecturecited by 5
- 2025Infusing Theory of Mind into Socially Intelligent LLM Agents26 Sep 2025
- 2023Formally Specifying the High-Level Behavior of LLM-Based Agents12 Oct 2023
- 2023Don't Fine-Tune, Decode: Syntax Error-Free Tool Use via Constrained Decoding10 Oct 2023
- 2023Improving Planning with Large Language Models: A Modular Agentic Architecture30 Sep 2023
- 2024DeAL: Decoding-time Alignment for Large Language Modelscited by 55
- 2024SafeInfer: Context Adaptive Decoding Time Safety Alignment for Large Language Modelscited by 22
- 2023Language Models are Bounded Pragmatic Speakers: Understanding RLHF from a Bayesian Cognitive Modeling Perspectivecited by 10
- 2024Model-based Preference Optimization in Abstractive Summarization without Human Feedbackcited by 7
- 2024Model-based Preference Optimization in Abstractive Summarization without Human Feedback27 Sep 2024
- 2024SafeInfer: Context Adaptive Decoding Time Safety Alignment for Large Language Models18 Jun 2024
- 2024DeAL: Decoding-time Alignment for Large Language Models5 Feb 2024
- 2023Language Models are Bounded Pragmatic Speakers: Understanding RLHF from a Bayesian Cognitive Modeling Perspective28 May 2023
- 2024COLD-Attack: Jailbreaking LLMs with Stealthiness and Controllabilitycited by 162
- 2024Reversing the Forget-Retain Objectives: An Efficient LLM Unlearning Framework from Logit Differencecited by 85
- 2024Permute-and-Flip: An optimally stable and watermarkable decoder for LLMscited by 17
- 2026Extracting Training Dialogue Data from Large Language Model based Task Botscited by 0
- 2026Extracting Training Dialogue Data from Large Language Model based Task Bots2 Mar 2026
- 2024Reversing the Forget-Retain Objectives: An Efficient LLM Unlearning Framework from Logit Difference12 Jun 2024
- 2024COLD-Attack: Jailbreaking LLMs with Stealthiness and Controllability13 Feb 2024
- 2024Permute-and-Flip: An optimally stable and watermarkable decoder for LLMs8 Feb 2024
- 2023From task structures to world models: What do LLMs know?cited by 46
- 2023From task structures to world models: What do LLMs know?6 Oct 2023
- 2022Generating Sequences by Learning to Self-Correctcited by 271
- 2022A Contrastive Framework for Neural Text Generationcited by 224
- 2023Planning with Large Language Models for Code Generationcited by 179
- 2024From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Modelscited by 136
- 2023Controlled Decoding from Language Modelscited by 133
- 2022Internet-augmented language models through few-shot prompting for open-domain question answeringcited by 131
- 2023Branch-Solve-Merge Improves Large Language Model Evaluation and Generationcited by 104
- 2023Amortizing intractable inference in large language modelscited by 94
- 2023Controlled Text Generation with Natural Language Instructionscited by 87
- 2022Language Generation Models Can Cause Harm: So What Can We Do About It? An Actionable Surveycited by 80
- 2023Sequential Monte Carlo Steering of Large Language Models using Probabilistic Programscited by 79
- 2022NaturalProver: Grounded Mathematical Proof Generation with Language Modelscited by 72
12 most cited of 115 All 115 (JSON)
- 2026GrammarRL: Effective Grammar-Constrained Decoding via Reinforcement Learning30 Sep 2026
- 2026BlueprintAgent: Constraint-Triggered Targeted Revisits for Simulation-Ready Generation from Scanned Structural Blueprints7 Sep 2026
- 2026Trie Automata for Constrained Decoding over Large Finite Sets12 Aug 2026
- 2026Large Language Models Can Follow Instructions, But Not Many at Once: Phase Transitions in Compositional Constraint Satisfaction12 Aug 2026
- 2026LabGuard: Grounding Natural-Language Laboratory Rules into Runtime Guards for Embodied Laboratory Agents30 Jun 2026
- 2026A Comparative Study of Controlled Text Generation Systems Using Level-Playing-Field Evaluation Principles12 May 2026
- 2026NCO: A Versatile Plug-in for Handling Negative Constraints in Decoding11 May 2026
- 2026Lost in Decoding? Reproducing and Stress-Testing the Look-Ahead Prior in Generative Retrieval25 Apr 2026
- 2026LatticeBridge: Rare-Event Sequential Inference for Faithful Structured Sequence Synthesis22 Apr 2026
- 2026Suffix-Constrained Greedy Search Algorithms for Causal Language Models1 Mar 2026
- 2026Vectorizing the Trie: Efficient Constrained Decoding for LLM-based Generative Retrieval on Accelerators26 Feb 2026
- 2026Making Large Language Models Speak Tulu: Structured Prompting for an Extremely Low-Resource Language17 Feb 2026
12 newest of 115 All 115 (JSON)