atlas

Research map / Large language models / Language, safety and interpretability

Approximately Aligned Decoding

NeurIPS 2025 · Large language models › Language, safety and interpretability · approach: Parallel and early-exit decoding · 0 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Proposes Approximately Aligned Decoding (AprAD), which uses speculative-sampling prefix selection to backtrack after constraint violations, balancing distribution distortion against compute for error-free LLM generation.

Problem

Generating LLM outputs that avoid undesired content (error sets) either requires expensive resampling (rejection sampling, ASAp) or distorts the output distribution by amplifying improbable sequences (constrained decoding).

Approach

After an error is sampled, reuse the sampled prefix via speculative sampling's accept/reject step, comparing the adjusted distribution (with the error added to the banned set) against the current one, so that most of the prefix is kept while probability amplification is bounded per backtrack.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Use AprAD instead of constrained generationSimulated model · Simulated task, AAAKL-divergence: 0.0075 -> 0.0046Helped
Use AprAD instead of ASApSimulated model · Simulated task, AAAGeneration ratio: 1.020 -> 1.004Helped
Use AprAD instead of constrained generationMistral-7B-Instruct-v0.2 · LipogramsQuality: 3.56 $\pm$ 0.34 -> 4.52 $\pm$ 0.23Helped
Use AprAD instead of constrained generationMistral-7B-Instruct-v0.2 · LipogramsConstraint intent: 2.32 $\pm$ 0.18 -> 2.84 $\pm$ 0.11Helped
Use AprAD instead of constrained generationMistral-7B-Instruct-v0.2 · LipogramsGeneration ratio: 1.00 $\pm$ 0.00 -> 4.20 $\pm$ 0.91Hurt
Use AprAD instead of constrained generationStarcoder2-15B · BigCodeBench, divergent-output tasksPass@1: 0.22 $\pm$ 0.01 -> 0.26 $\pm$ 0.01Helped
Use AprAD instead of ASApStarcoder2-15B · BigCodeBench, divergent-output tasksGeneration ratio: 1.56 $\pm$ 0.12 -> 1.08 $\pm$ 0.01Helped
Use AprAD instead of ASApStarcoder2-7B · BigCodeBench, divergent-output tasksPass@1: 0.15 $\pm$ 0.01 -> 0.14 $\pm$ 0.01Hurt
Use AprAD instead of constrained generationStarcoder2-7B · BigCodeBench, divergent-output tasks!NameErr@1: 0.89 $\pm$ 0.01 -> 0.95 $\pm$ 0.01Helped

Surprising findings

Limitations

Experimental setup

Datasets: BigCodeBench v0.1

Benchmarks: BigCodeBench v0.1 Lipogram (excluded vowels) tasks Simulated known-distribution testbench

Metrics: KL-divergence generation ratio quality (1-5) constraint intent (1-3) pass@1 pass@5 NameError-free rate

Baselines: Constrained generation ASAp Rejection sampling Unconstrained generation

Builds on: speculative sampling ASAp constrained generation

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy