Sequential Monte Carlo Steering of Large Language Models using Probabilistic Programs
Not on the map. Why?
Abstract (arXiv)
Even after fine-tuning and reinforcement learning, large language models (LLMs) can be difficult, if not impossible, to control reliably with prompts alone. We propose a new inference-time approach to enforcing syntactic and semantic constraints on the outputs of LLMs, called sequential Monte Carlo (SMC) steering. The key idea is to specify language generation tasks as posterior inference problems in a class of discrete probabilistic sequence models, and replace standard decoding with sequential Monte Carlo inference. For a computational cost similar to that of beam search, SMC can steer LLMs to solve diverse tasks, including infilling, generation under syntactic constraints, and prompt intersection. To facilitate experimentation with SMC steering, we present a probabilistic programming library, LLaMPPL (https://github.com/probcomp/hfppl), for concisely specifying new generation tasks as language model probabilistic programs, and automating steering of LLaMA-family Transformers.
Key facts. Cited by 80 papers in the map (data through 14 Oct 2026). Builds on 25 of its 39 references that are in the map. First posted on arXiv 5 Jun 2023.
Builds on
25 of 39 references.
References · 25
- 2022Training language models to follow instructions with human feedbackcited by 15,971
- 2023LLaMA: Open and Efficient Foundation Language Modelscited by 14,132
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
- 2023Direct Preference Optimization: Your Language Model is Secretly a Reward Modelcited by 8,065
- 2022Large Language Models Are Human-Level Prompt Engineerscited by 1,045
- 2019Plug and Play Language Models: A Simple Approach to Controlled Text Generationcited by 799
- 2016Diverse Beam Search: Decoding Diverse Solutions from Neural Sequence Modelscited by 301
- 2022Efficient Training of Language Models to Fill in the Middlecited by 255
- 2023Planning with Large Language Models for Code Generationcited by 182
- 2022COLD Decoding: Energy-based Constrained Text Generation with Langevin Dynamicscited by 161
- 2022Synchromesh: Reliable code generation from pre-trained language modelscited by 156
- 2021NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristicscited by 154
13 more
- 2022RL with KL penalties is better viewed as Bayesian inferencecited by 135
- 2020Enabling Language Models to Fill in the Blankscited by 122
- 2018Correcting Length Bias in Neural Machine Translationcited by 120
- 2020A Distributional Approach to Controlled Text Generationcited by 119
- 2020If beam search is the answer, what was the question?cited by 116
- 2022Prompting Is Programming: A Query Language for Large Language Modelscited by 110
- 2022Language Model Cascadescited by 107
- 2018CGMH: Constrained Sentence Generation by Metropolis-Hastings Samplingcited by 94
- 2021Controlled Text Generation as Continuous Optimization with Multiple Constraintscited by 70
- 2023Tractable Control for Autoregressive Language Generationcited by 65
- 2020Directed Beam Search: Plug-and-Play Lexically Constrained Language Generationcited by 12
- 2023LaMPP: Language Models as Probabilistic Priors for Perception and Actioncited by 11
- 2022Recursive Monte Carlo and Variational Inference with Auxiliary Variablescited by 8
Built on by
Citing papers per year: 2023: 5; 2024: 19; 2025: 28; 2026: 28.
80 papers.
Sort:
By area:
- 2025A General Framework for Inference-time Scaling and Steering of Diffusion Modelscited by 224
- 2023Efficient Guided Generation for Large Language Modelscited by 200
- 2024Derivative-Free Guidance in Continuous and Discrete Diffusion Models with Soft Value-Based Decodingcited by 136
- 2023From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thoughtcited by 119
- 2023Amortizing intractable inference in large language modelscited by 97
- 2024Probabilistic Inference in Language Models via Twisted Sequential Monte Carlocited by 90
- 2025Inference-Time Alignment in Diffusion Models with Reward-Guided Generation: Tutorial and Reviewcited by 88
- 2024Automata-based constraints for language model decodingcited by 51
- 2025Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlocited by 46
- 2024Space Group Informed Transformer for Crystalline Materials Generationcited by 41
- 2025Enforcing Temporal Constraints for LLM Agentscited by 34
- 2024Adaptable Logical Control for Large Language Modelscited by 30
38 more
- 2025Hypothesis-Driven Theory-of-Mind Reasoning for Large Language Modelscited by 29
- 2024Pragmatic Instruction Following and Goal Assistance via Cooperative Language-Guided Inverse Planningcited by 28
- 2024Doing Experiments and Revising Rules with Natural Language and Probabilistic Reasoningcited by 24
- 2024GAVEL: Generating Games Via Evolution and Language Modelscited by 24
- 2023The Neuro-Symbolic Inverse Planning Engine (NIPE): Modeling Probabilistic Social Inferences from Linguistic Inputscited by 23
- 2024Step-by-Step Reasoning for Math Problems via Twisted Sequential Monte Carlocited by 22
- 2025Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Samplingcited by 21
- 2025Rollout Roulette: A Probabilistic Inference Approach to Inference-Time Scaling of LLMs using Particle-Based Monte Carlo Methodscited by 20
- 2025Composition and Control with Distilled Energy Diffusion Models and Sequential Monte Carlocited by 20
- 2024Estimating the Probabilities of Rare Outputs in Language Modelscited by 16
- 2025DINGO: Constrained Inference for Diffusion LLMscited by 16
- 2025Constrained Sampling for Language Models Should Be Easy: An MCMC Perspectivecited by 14
- 2024Can a Bayesian Oracle Prevent Harm from an Agent?cited by 13
- 2025Self-Steering Language Modelscited by 13
- 2025Neurosymbolic Diffusion Modelscited by 13
- 2024Loose LIPS Sink Ships: Asking Questions in Battleship with Language-Informed Program Samplingcited by 12
- 2024Controllable Generation via Locally Constrained Resamplingcited by 11
- 2024Amortized Control of Continuous State Space Feynman-Kac Model for Irregular Time Seriescited by 10
- 2024Latent Logic Tree Extraction for Event Sequence Explanation from LLMscited by 9
- 2026Rare Event Analysis of Large Language Modelscited by 8
- 2025Inference-Time Scaling of Diffusion Language Models via Trajectory Refinementcited by 7
- 2024Understanding Epistemic Language with a Language-augmented Bayesian Theory of Mindcited by 6
- 2025Reinforced sequential Monte Carlo for amortised samplingcited by 6
- 2026What's the plan? Metrics for implicit planning in LLMs and their application to rhyme generation and question answeringcited by 6
- 2024Local and Global Decoding in Text Generationcited by 5
- 2026Transducing Language Modelscited by 5
- 2026Sampling for Quality: Training-Free Reward-Guided LLM Decoding via Sequential Monte Carlocited by 5
- 2025Semantic Probabilistic Control of Language Modelscited by 4
- 2025Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scalingcited by 4
- 2024Approximately Aligned Decodingcited by 3
- 2025Syntactic Control of Language Models by Posterior Inferencecited by 3
- 2025Constrained Adaptive Rejection Samplingcited by 3
- 2025Anytime-Valid Answer Sufficiency Certificates for LLM Generation via Sequential Information Liftcited by 3
- 2026Ensembling Language Models with Sequential Monte Carlocited by 3
- 2026Reject, Resample, Repeat: Understanding Parallel Reasoning in Language Model Inferencecited by 3
- 2024Multi-Layer Ranking with Large Language Models for News Source Recommendationcited by 2
- 2025Improving Constrained Language Generation via Self-Distilled Twisted Sequential Monte Carlocited by 2
- 2025Controlling Multimodal LLMs via Reward-guided Decodingcited by 2
50 most cited of 80 All 80 (JSON)
- 2026LatticeSMC: Where to Spend Inference-Time Compute in Chunked Sequence Generators2 Oct 2026
- 2026Finetuning with Sampling: SFT Learns Better Than You Think1 Oct 2026
- 2026Provably Tractable NFA-Constrained Language Generation via HMMs30 Sep 2026
- 2026GrammarRL: Effective Grammar-Constrained Decoding via Reinforcement Learning30 Sep 2026
- 2026FluxLite: Inference-Time Proposal Control for Discrete Diffusion Models28 Sep 2026
- 2026From Token Probabilities to Semantic Constraints: Towards Declarative Probabilistic Evaluation of Language Models11 Sep 2026
- 2026Chopthin-Consensus Power Sampling: A Diversity-Preserving Approach to LLM Decoding10 Sep 2026
- 2026Potential-Guided Particle Steering for Negation-Constrained Dexterous Grasping1 Sep 2026
- 2026The Parser Already Knows: Lightweight Bias Correction in Constrained Decoding10 Aug 2026
- 2026PPDL: LLM-Based Flows as Probabilistic Programs5 Aug 2026
- 2026Imprompt: A Language Framework for Prompt Programming13 Jul 2026
- 2026We Hebben Een Serieus Translatie: Modeling Intercomprehension as Probabilistic Inference13 Jul 2026
38 more
- 2026Depth-Entropy Guided Sampling for Training-Free LLM Reasoning19 Jun 2026
- 2026Intrinsic Selection and Particle Resampling for Inference-Time Scaling Beyond Domain Verifiability7 Jun 2026
- 2026Agentic Monte Carlo: Simulating Reinforcement Learning for Black-Box Agents3 Jun 2026
- 2026Conformal Language Modeling via Posterior Sampling2 Jun 2026
- 2026Readers make targeted regressions to plausible errors in reanalysis of "noisy-channel garden-path" sentences18 May 2026
- 2026SMCEvolve: Principled Scientific Discovery via Sequential Monte Carlo Evolution14 May 2026
- 2026Probabilistic Programs of Thought19 Apr 2026
- 2026Faster LLM Inference via Sequential Monte Carlo17 Apr 2026
- 2026Sampling for Quality: Training-Free Reward-Guided LLM Decoding via Sequential Monte Carlo7 Apr 2026
- 2026Decoupling Exploration and Policy Optimization: Uncertainty Guided Tree Search for Hard Exploration23 Mar 2026
- 2026Reject, Resample, Repeat: Understanding Parallel Reasoning in Language Model Inference9 Mar 2026
- 2026Ensembling Language Models with Sequential Monte Carlo5 Mar 2026
- 2026Transducing Language Models5 Mar 2026
- 2026VariBASed: Variational Bayes-Adaptive Sequential Monte-Carlo Planning for Deep Reinforcement Learning21 Feb 2026
- 2026Rare Event Analysis of Large Language Models6 Feb 2026
- 2026What's the plan? Metrics for implicit planning in LLMs and their application to rhyme generation and question answering28 Jan 2026
- 2025Enforcing Temporal Constraints for LLM Agents25 Dec 2025
- 2025Learning Tractable Distributions Of Language Model Continuations20 Nov 2025
- 2025Reducing the Probability of Undesirable Outputs in Language Models Using Probabilistic Inference24 Oct 2025
- 2025Reinforced sequential Monte Carlo for amortised sampling13 Oct 2025
- 2025Anytime-Valid Answer Sufficiency Certificates for LLM Generation via Sequential Information Lift7 Oct 2025
- 2025Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling7 Oct 2025
- 2025Constrained Adaptive Rejection Sampling2 Oct 2025
- 2025Guided Decoding and Its Critical Role in Retrieval-Augmented Generation8 Sep 2025
- 2025Language and Experience: A Computational Model of Social Learning in Complex Tasks26 Aug 2025
- 2025Controlling Multimodal LLMs via Reward-guided Decoding15 Aug 2025
- 2025Inference-Time Scaling of Diffusion Language Models via Trajectory Refinement11 Jul 2025
- 2025Improving Constrained Language Generation via Self-Distilled Twisted Sequential Monte Carlo3 Jul 2025
- 2025Syntactic Control of Language Models by Posterior Inference8 Jun 2025
- 2025Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective6 Jun 2025
- 2025Integrating Neural and Symbolic Components in a Model of Pragmatic Question-Answering2 Jun 2025
- 2025DINGO: Constrained Inference for Diffusion LLMs29 May 2025
- 2025Neurosymbolic Diffusion Models19 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
- 2025(G)I-DLE: Generative Inference via Distribution-preserving Logit Exclusion with KL Divergence Minimization for Constrained Decoding23 Mar 2025
50 newest of 80 All 80 (JSON)
- 2025A General Framework for Inference-time Scaling and Steering of Diffusion Modelscited by 224
- 2025Hypothesis-Driven Theory-of-Mind Reasoning for Large Language Modelscited by 29
- 2024Doing Experiments and Revising Rules with Natural Language and Probabilistic Reasoningcited by 24
- 2024Step-by-Step Reasoning for Math Problems via Twisted Sequential Monte Carlocited by 22
- 2025Rollout Roulette: A Probabilistic Inference Approach to Inference-Time Scaling of LLMs using Particle-Based Monte Carlo Methodscited by 20
- 2025Self-Steering Language Modelscited by 13
- 2025Neurosymbolic Diffusion Modelscited by 13
- 2025Inference-Time Scaling of Diffusion Language Models via Trajectory Refinementcited by 7
- 2025Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scalingcited by 4
- 2026Reject, Resample, Repeat: Understanding Parallel Reasoning in Language Model Inferencecited by 3
- 2026Probabilistic Programs of Thoughtcited by 1
- 2026Intrinsic Selection and Particle Resampling for Inference-Time Scaling Beyond Domain Verifiabilitycited by 1
12 most cited of 16 All 16 (JSON)
- 2026LatticeSMC: Where to Spend Inference-Time Compute in Chunked Sequence Generators2 Oct 2026
- 2026From Token Probabilities to Semantic Constraints: Towards Declarative Probabilistic Evaluation of Language Models11 Sep 2026
- 2026Chopthin-Consensus Power Sampling: A Diversity-Preserving Approach to LLM Decoding10 Sep 2026
- 2026Depth-Entropy Guided Sampling for Training-Free LLM Reasoning19 Jun 2026
- 2026Intrinsic Selection and Particle Resampling for Inference-Time Scaling Beyond Domain Verifiability7 Jun 2026
- 2026Probabilistic Programs of Thought19 Apr 2026
- 2026Reject, Resample, Repeat: Understanding Parallel Reasoning in Language Model Inference9 Mar 2026
- 2025Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling7 Oct 2025
- 2025Inference-Time Scaling of Diffusion Language Models via Trajectory Refinement11 Jul 2025
- 2025Neurosymbolic Diffusion Models19 May 2025
- 2025Self-Steering Language Models9 Apr 2025
- 2025Hypothesis-Driven Theory-of-Mind Reasoning for Large Language Models17 Feb 2025
12 newest of 16 All 16 (JSON)
- 2026VariBASed: Variational Bayes-Adaptive Sequential Monte-Carlo Planning for Deep Reinforcement Learningcited by 1
- 2026Decoupling Exploration and Policy Optimization: Uncertainty Guided Tree Search for Hard Explorationcited by 1
- 2026GrammarRL: Effective Grammar-Constrained Decoding via Reinforcement Learningcited by 0
- 2026Finetuning with Sampling: SFT Learns Better Than You Thinkcited by 0
- 2026Finetuning with Sampling: SFT Learns Better Than You Think1 Oct 2026
- 2026GrammarRL: Effective Grammar-Constrained Decoding via Reinforcement Learning30 Sep 2026
- 2026Decoupling Exploration and Policy Optimization: Uncertainty Guided Tree Search for Hard Exploration23 Mar 2026
- 2026VariBASed: Variational Bayes-Adaptive Sequential Monte-Carlo Planning for Deep Reinforcement Learning21 Feb 2026
- 2024Derivative-Free Guidance in Continuous and Discrete Diffusion Models with Soft Value-Based Decodingcited by 136
- 2025Inference-Time Alignment in Diffusion Models with Reward-Guided Generation: Tutorial and Reviewcited by 88
- 2025Composition and Control with Distilled Energy Diffusion Models and Sequential Monte Carlocited by 20
- 2026FluxLite: Inference-Time Proposal Control for Discrete Diffusion Modelscited by 1
- 2026FluxLite: Inference-Time Proposal Control for Discrete Diffusion Models28 Sep 2026
- 2025Composition and Control with Distilled Energy Diffusion Models and Sequential Monte Carlo18 Feb 2025
- 2025Inference-Time Alignment in Diffusion Models with Reward-Guided Generation: Tutorial and Review16 Jan 2025
- 2024Derivative-Free Guidance in Continuous and Discrete Diffusion Models with Soft Value-Based Decoding15 Aug 2024
- 2026Faster LLM Inference via Sequential Monte Carlocited by 0
- 2026Faster LLM Inference via Sequential Monte Carlo17 Apr 2026
- 2025Controlling Multimodal LLMs via Reward-guided Decodingcited by 2
- 2025Controlling Multimodal LLMs via Reward-guided Decoding15 Aug 2025
- 2023Efficient Guided Generation for Large Language Modelscited by 200
- 2023Amortizing intractable inference in large language modelscited by 97
- 2024Automata-based constraints for language model decodingcited by 51
- 2025Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlocited by 46
- 2024Space Group Informed Transformer for Crystalline Materials Generationcited by 41
- 2024Adaptable Logical Control for Large Language Modelscited by 30
- 2024Pragmatic Instruction Following and Goal Assistance via Cooperative Language-Guided Inverse Planningcited by 28
- 2024GAVEL: Generating Games Via Evolution and Language Modelscited by 24
- 2023The Neuro-Symbolic Inverse Planning Engine (NIPE): Modeling Probabilistic Social Inferences from Linguistic Inputscited by 23
- 2025Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Samplingcited by 21
- 2024Estimating the Probabilities of Rare Outputs in Language Modelscited by 16
- 2025DINGO: Constrained Inference for Diffusion LLMscited by 16
12 most cited of 48 All 48 (JSON)
- 2026Provably Tractable NFA-Constrained Language Generation via HMMs30 Sep 2026
- 2026Potential-Guided Particle Steering for Negation-Constrained Dexterous Grasping1 Sep 2026
- 2026The Parser Already Knows: Lightweight Bias Correction in Constrained Decoding10 Aug 2026
- 2026PPDL: LLM-Based Flows as Probabilistic Programs5 Aug 2026
- 2026Imprompt: A Language Framework for Prompt Programming13 Jul 2026
- 2026We Hebben Een Serieus Translatie: Modeling Intercomprehension as Probabilistic Inference13 Jul 2026
- 2026Conformal Language Modeling via Posterior Sampling2 Jun 2026
- 2026Readers make targeted regressions to plausible errors in reanalysis of "noisy-channel garden-path" sentences18 May 2026
- 2026SMCEvolve: Principled Scientific Discovery via Sequential Monte Carlo Evolution14 May 2026
- 2026Sampling for Quality: Training-Free Reward-Guided LLM Decoding via Sequential Monte Carlo7 Apr 2026
- 2026Ensembling Language Models with Sequential Monte Carlo5 Mar 2026
- 2026Transducing Language Models5 Mar 2026
12 newest of 48 All 48 (JSON)