NeuroLogic Decoding: (Un)supervised Neural Text Generation with Predicate Logic Constraints
Not on the map. Why?
Abstract (arXiv)
Conditional text generation often requires lexical constraints, i.e., which words should or shouldn't be included in the output text. While the dominant recipe for conditional text generation has been large-scale pretrained language models that are finetuned on the task-specific training data, such models do not learn to follow the underlying constraints reliably, even when supervised with large amounts of task-specific examples. We propose NeuroLogic Decoding, a simple yet effective algorithm that enables neural language models -- supervised or not -- to generate fluent text while satisfying complex lexical constraints. Our approach is powerful yet efficient. It handles any set of lexical constraints that is expressible under predicate logic, while its asymptotic runtime is equivalent to conventional beam search. Empirical results on four benchmarks show that NeuroLogic Decoding outperforms previous approaches, including algorithms that handle a subset of our constraints. Moreover, we find that unsupervised models with NeuroLogic Decoding often outperform supervised models with conventional decoding, even when the latter is based on considerably larger networks. Our results suggest the limit of large-scale neural networks for fine-grained controllable generation and the promise of inference-time algorithms.
Key facts. Cited by 149 papers in the map (data through 14 Oct 2026). First posted on arXiv 24 Oct 2020.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 9; 2022: 26; 2023: 42; 2024: 28; 2025: 17; 2026: 27.
149 papers.
Sort:
By area:
- 2023Bias and Fairness in Large Language Models: A Surveycited by 639
- 2022ToxiGen: A Large-Scale Machine-Generated Dataset for Adversarial and Implicit Hate Speech Detectioncited by 422
- 2022Generating Sequences by Learning to Self-Correctcited by 277
- 2022A Contrastive Framework for Neural Text Generationcited by 225
- 2022SSD-LM: Semi-autoregressive Simplex-based Diffusion Language Model for Text Generation and Modular Controlcited by 194
- 2024A Roadmap to Pluralistic Alignmentcited by 184
- 2024COLD-Attack: Jailbreaking LLMs with Stealthiness and Controllabilitycited by 175
- 2022COLD Decoding: Energy-based Constrained Text Generation with Langevin Dynamicscited by 161
- 2022Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanationscited by 159
- 2021NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristicscited by 154
- 2024ARGS: Alignment as Reward-Guided Searchcited by 103
- 2024Reversing the Forget-Retain Objectives: An Efficient LLM Unlearning Framework from Logit Differencecited by 88
38 more
- 2023Controlled Text Generation with Natural Language Instructionscited by 87
- 2021Improving Coherence and Consistency in Neural Sequence Models with Dual-System, Neuro-Symbolic Reasoningcited by 85
- 2022Language Generation Models Can Cause Harm: So What Can We Do About It? An Actionable Surveycited by 80
- 2023Evaluating Large Language Models on Controlled Generation Taskscited by 73
- 2022NaturalProver: Grounded Mathematical Proof Generation with Language Modelscited by 72
- 2023PLACES: Prompting Language Models for Social Conversation Synthesiscited by 72
- 2021Controlled Text Generation as Continuous Optimization with Multiple Constraintscited by 70
- 2023COLLIE: Systematic Construction of Constrained Text Generation Taskscited by 70
- 2023Tractable Control for Autoregressive Language Generationcited by 65
- 2022Gradient-Based Constrained Sampling from Language Modelscited by 64
- 2023Don't throw away your value model! Generating more preferable text with Value-Guided Monte-Carlo Tree Search decodingcited by 60
- 2023Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translationcited by 59
- 2024DeAL: Decoding-time Alignment for Large Language Modelscited by 55
- 2024Grammar-Aligned Decodingcited by 54
- 2023KCTS: Knowledge-Constrained Tree Search Decoding with Token-Level Hallucination Detectioncited by 45
- 2022LayoutFormer++: Conditional Graphic Layout Generation via Constraint Serialization and Decoding Space Restrictioncited by 43
- 2024To Each (Textual Sequence) Its Own: Improving Memorized-Data Unlearning in Large Language Modelscited by 43
- 2022Controllable Text Generation with Neurally-Decomposed Oraclecited by 41
- 2025FairSteer: Inference Time Debiasing for LLMs with Dynamic Activation Steeringcited by 40
- 2024Constrained Decoding for Secure Code Generationcited by 37
- 2022Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computingcited by 35
- 2023Inference-Time Policy Adapters (IPA): Tailoring Extreme-Scale LMs without Fine-tuningcited by 33
- 2024DeepEdit: Knowledge Editing as Decoding with Constraintscited by 33
- 2021Core Challenges in Embodied Vision-Language Planningcited by 30
- 2024Adaptable Logical Control for Large Language Modelscited by 30
- 2023Elastic Weight Removal for Faithful and Abstractive Dialogue Generationcited by 29
- 2022Paper Plain: Making Medical Research Papers Approachable to Healthcare Consumers with Natural Language Processingcited by 23
- 2022NeuroCounterfactuals: Beyond Minimal-Edit Counterfactuals for Richer Data Augmentationcited by 23
- 2023A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraintscited by 22
- 2022I2D2: Inductive Knowledge Distillation with NeuroLogic and Self-Imitationcited by 21
- 2025Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Samplingcited by 21
- 2022Why is constrained neural language generation particularly challenging?cited by 19
- 2024DeFT: Decoding with Flash Tree-attention for Efficient Tree-structured LLM Inferencecited by 19
- 2022Controllable Text Generation with Language Constraintscited by 18
- 2024StyleRemix: Interpretable Authorship Obfuscation via Distillation and Perturbation of Style Elementscited by 18
- 2025Constrained Discrete Diffusioncited by 17
- 2024Adversarial Decoding: Generating Readable Documents for Adversarial Objectivescited by 16
- 2022BioNLI: Generating a Biomedical NLI Dataset Using Lexico-semantic Constraints for Adversarial Examplescited by 15
50 most cited of 149 All 149 (JSON)
- 2026Pin It on Anyone: Certified Targeted Displacement of Multi-Bit LLM Watermarks Without the Key13 Oct 2026
- 2026Intent-Triggered Anchoring for Multi-Token Format Units in Parallel Decoding of Diffusion Language Models12 Oct 2026
- 2026Single-Sample Decoding of a Two-Layer Sound-Word Canvas Model for Thai Klon Pad10 Oct 2026
- 2026Making Grid Beam Search Less Greedy30 Sep 2026
- 2026Constraints Are Graphs, Not Chains: Exact Decoding for Diffusion Language Models26 Sep 2026
- 2026Exact Feedback Is Not Control: Evaluating Text-based Closed-Loop Revision in LLMs23 Sep 2026
- 2026Which Constraints Are Missing? Ask the Verifier: Graded Rewards for Constraint-Following Music Generation20 Sep 2026
- 2026CAPO: Constraint-Aware Prompt Optimization for LLM Agents17 Aug 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
- 2026Auditable Release Control for Pedagogical Leakage in LLM Tutors1 Aug 2026
38 more
- 2026IFHierBench: Hierarchical Instruction Following for Large Language Models30 Jul 2026
- 2026Frustratingly Simple Black-Box Adaptation of Language Models via Logit Bias24 Jul 2026
- 2026Asynchronous Multimodal Diffusion Policy Composition via Latency-Aware Guidance Fusion19 Jul 2026
- 2026Constrained Path Reasoning: Measuring When Committed Stages Earn Their Cost19 Jul 2026
- 2026Imprompt: A Language Framework for Prompt Programming13 Jul 2026
- 2026FlashTrie: A GPU-Accelerated Constrained Beam Search for Generative Retrieval10 Jul 2026
- 2026Grounded Optimization: A Layered Engineering Framework for Reducing LLM Hallucination in Automated Personal Document Rewriting1 Jul 2026
- 2026Neuro-Symbolic Safety Guidance for Vision-Language-Action Models via Constrained Flow Matching1 Jul 2026
- 2026Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies6 Jun 2026
- 2026NCO: A Versatile Plug-in for Handling Negative Constraints in Decoding11 May 2026
- 2026Care-Conditioned Neuromodulation for Autonomy-Preserving Supportive Dialogue Agents2 Apr 2026
- 2026Suffix-Constrained Greedy Search Algorithms for Causal Language Models1 Mar 2026
- 2026Search-Augmented Masked Diffusion Models for Constrained Generation2 Feb 2026
- 2026From Instruction to Output: The Role of Prompting in Modern NLG21 Jan 2026
- 2026Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts19 Jan 2026
- 2025Adaptive Constraint Propagation: Scaling Structured Inference for Large Language Models via Meta-Reinforcement Learning31 Dec 2025
- 2025TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation27 Nov 2025
- 2025p-less Sampling: A Robust Hyperparameter-Free Approach for LLM Decoding27 Sep 2025
- 2025Neuro-Symbolic Predictive Process Monitoring31 Aug 2025
- 2025Adaptive Content Restriction for Large Language Models via Suffix Optimization2 Aug 2025
- 2025SCOPE: Stochastic and Counterbiased Option Placement for Evaluating Large Language Models24 Jul 2025
- 2025Learning to Align: Addressing Character Frequency Distribution Shifts in Handwritten Text Recognition11 Jun 2025
- 2025ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search11 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
- 2025FairSteer: Inference Time Debiasing for LLMs with Dynamic Activation Steering20 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
- 2025Unsupervised Concept Vector Extraction for Bias Control in LLMs27 Feb 2025
- 2025Aligning Sentence Simplification with ESL Learner's Proficiency for Language Acquisition17 Feb 2025
- 2024Constrained Decoding with Speculative Lookaheads9 Dec 2024
- 2024Constrained Recurrent Bayesian Forecasting for Crack Propagation18 Oct 2024
- 2024Controllable Generation via Locally Constrained Resampling17 Oct 2024
- 2024Adversarial Decoding: Generating Readable Documents for Adversarial Objectives3 Oct 2024
- 2024Edit-Constrained Decoding for Sentence Simplification28 Sep 2024
- 2024Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification24 Sep 2024
50 newest of 149 All 149 (JSON)
- 2022Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanationscited by 159
- 2023Don't throw away your value model! Generating more preferable text with Value-Guided Monte-Carlo Tree Search decodingcited by 60
- 2024DeepEdit: Knowledge Editing as Decoding with Constraintscited by 33
- 2025Self-Steering Language Modelscited by 13
- 2023PathFinder: Guided Search over Multi-Step Reasoning Pathscited 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
- 2023Assessing Step-by-Step Reasoning against Lexical Negation: A Case Study on Syllogismcited by 6
- 2024Logic Agent: Enhancing Validity with Logic Rule Invocationcited by 3
- 2026Constrained Path Reasoning: Measuring When Committed Stages Earn Their Costcited by 0
- 2026Constrained Path Reasoning: Measuring When Committed Stages Earn Their Cost19 Jul 2026
- 2025Self-Steering Language Models9 Apr 2025
- 2024Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification24 Sep 2024
- 2024Logic Agent: Enhancing Validity with Logic Rule Invocation28 Apr 2024
- 2024DeepEdit: Knowledge Editing as Decoding with Constraints19 Jan 2024
- 2023PathFinder: Guided Search over Multi-Step Reasoning Paths8 Dec 2023
- 2023Assessing Step-by-Step Reasoning against Lexical Negation: A Case Study on Syllogism23 Oct 2023
- 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
- 2022Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations24 May 2022
- 2022SSD-LM: Semi-autoregressive Simplex-based Diffusion Language Model for Text Generation and Modular Controlcited by 194
- 2025Constrained Discrete Diffusioncited by 17
- 2023NeuroPrompts: An Adaptive Framework to Optimize Prompts for Text-to-Image Generationcited by 10
- 2023P^3SUM: Preserving Author's Perspective in News Summarization with Diffusion Language Modelscited by 4
- 2026Search-Augmented Masked Diffusion Models for Constrained Generationcited by 1
- 2026Asynchronous Multimodal Diffusion Policy Composition via Latency-Aware Guidance Fusioncited by 1
- 2026Constraints Are Graphs, Not Chains: Exact Decoding for Diffusion Language Modelscited by 0
- 2026Intent-Triggered Anchoring for Multi-Token Format Units in Parallel Decoding of Diffusion Language Modelscited by 0
- 2026Intent-Triggered Anchoring for Multi-Token Format Units in Parallel Decoding of Diffusion Language Models12 Oct 2026
- 2026Constraints Are Graphs, Not Chains: Exact Decoding for Diffusion Language Models26 Sep 2026
- 2026Asynchronous Multimodal Diffusion Policy Composition via Latency-Aware Guidance Fusion19 Jul 2026
- 2026Search-Augmented Masked Diffusion Models for Constrained Generation2 Feb 2026
- 2025Constrained Discrete Diffusion12 Mar 2025
- 2023NeuroPrompts: An Adaptive Framework to Optimize Prompts for Text-to-Image Generation20 Nov 2023
- 2023P^3SUM: Preserving Author's Perspective in News Summarization with Diffusion Language Models16 Nov 2023
- 2022SSD-LM: Semi-autoregressive Simplex-based Diffusion Language Model for Text Generation and Modular Control31 Oct 2022
- 2024A Roadmap to Pluralistic Alignmentcited by 184
- 2024ARGS: Alignment as Reward-Guided Searchcited by 103
- 2023Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translationcited by 59
- 2024DeAL: Decoding-time Alignment for Large Language Modelscited by 55
- 2026Which Constraints Are Missing? Ask the Verifier: Graded Rewards for Constraint-Following Music Generationcited by 0
- 2026Which Constraints Are Missing? Ask the Verifier: Graded Rewards for Constraint-Following Music Generation20 Sep 2026
- 2024A Roadmap to Pluralistic Alignment7 Feb 2024
- 2024DeAL: Decoding-time Alignment for Large Language Models5 Feb 2024
- 2024ARGS: Alignment as Reward-Guided Search23 Jan 2024
- 2023Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation24 May 2023
- 2024COLD-Attack: Jailbreaking LLMs with Stealthiness and Controllabilitycited by 175
- 2024Reversing the Forget-Retain Objectives: An Efficient LLM Unlearning Framework from Logit Differencecited by 88
- 2024To Each (Textual Sequence) Its Own: Improving Memorized-Data Unlearning in Large Language Modelscited by 43
- 2024Adversarial Decoding: Generating Readable Documents for Adversarial Objectivescited by 16
- 2026Pin It on Anyone: Certified Targeted Displacement of Multi-Bit LLM Watermarks Without the Keycited by 0
- 2026Pin It on Anyone: Certified Targeted Displacement of Multi-Bit LLM Watermarks Without the Key13 Oct 2026
- 2024Adversarial Decoding: Generating Readable Documents for Adversarial Objectives3 Oct 2024
- 2024Reversing the Forget-Retain Objectives: An Efficient LLM Unlearning Framework from Logit Difference12 Jun 2024
- 2024To Each (Textual Sequence) Its Own: Improving Memorized-Data Unlearning in Large Language Models6 May 2024
- 2024COLD-Attack: Jailbreaking LLMs with Stealthiness and Controllability13 Feb 2024
- 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
- 2026Care-Conditioned Neuromodulation for Autonomy-Preserving Supportive Dialogue Agentscited by 0
- 2026CAPO: Constraint-Aware Prompt Optimization for LLM Agentscited by 0
- 2026CAPO: Constraint-Aware Prompt Optimization for LLM Agents17 Aug 2026
- 2026Care-Conditioned Neuromodulation for Autonomy-Preserving Supportive Dialogue Agents2 Apr 2026
- 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
- 2023Bias and Fairness in Large Language Models: A Surveycited by 639
- 2022ToxiGen: A Large-Scale Machine-Generated Dataset for Adversarial and Implicit Hate Speech Detectioncited by 422
- 2022Generating Sequences by Learning to Self-Correctcited by 277
- 2022A Contrastive Framework for Neural Text Generationcited by 225
- 2022COLD Decoding: Energy-based Constrained Text Generation with Langevin Dynamicscited by 161
- 2021NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristicscited by 154
- 2023Controlled Text Generation with Natural Language Instructionscited by 87
- 2021Improving Coherence and Consistency in Neural Sequence Models with Dual-System, Neuro-Symbolic Reasoningcited by 85
- 2022Language Generation Models Can Cause Harm: So What Can We Do About It? An Actionable Surveycited by 80
- 2023Evaluating Large Language Models on Controlled Generation Taskscited by 73
- 2022NaturalProver: Grounded Mathematical Proof Generation with Language Modelscited by 72
- 2023PLACES: Prompting Language Models for Social Conversation Synthesiscited by 72
12 most cited of 108 All 108 (JSON)
- 2026Single-Sample Decoding of a Two-Layer Sound-Word Canvas Model for Thai Klon Pad10 Oct 2026
- 2026Making Grid Beam Search Less Greedy30 Sep 2026
- 2026Exact Feedback Is Not Control: Evaluating Text-based Closed-Loop Revision in LLMs23 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
- 2026Auditable Release Control for Pedagogical Leakage in LLM Tutors1 Aug 2026
- 2026IFHierBench: Hierarchical Instruction Following for Large Language Models30 Jul 2026
- 2026Frustratingly Simple Black-Box Adaptation of Language Models via Logit Bias24 Jul 2026
- 2026Imprompt: A Language Framework for Prompt Programming13 Jul 2026
- 2026FlashTrie: A GPU-Accelerated Constrained Beam Search for Generative Retrieval10 Jul 2026
- 2026Grounded Optimization: A Layered Engineering Framework for Reducing LLM Hallucination in Automated Personal Document Rewriting1 Jul 2026
- 2026NCO: A Versatile Plug-in for Handling Negative Constraints in Decoding11 May 2026
12 newest of 108 All 108 (JSON)