Diffusion-based language models (dLLMs) enable parallel token generation through iterative denoising, but existing decoding strategies collapse to single-token generation under low confidence, severely limiting throughput. Unlike autoregressive models where speculative decoding operates on token sequences in a fixed left-to-right order, dLLMs require speculating over denoising trajectories-sequences of multi-token updates with explicit positions and unmasking orders. We develop a trajectory-level speculative framework that constructs draft denoising trajectories via confidence-stratified tree exploration and verifies them through blockwise parallel evaluation with bidirectional attention masking. Our method further introduces inter-block speculation, exploiting diffusion models' bidirectional structure to perform cross-block lookahead. We formally characterize when this approach is exact and identify trajectory drift as the fundamental cost of increased parallelism. Building on Fast-dLLM's dual-cache infrastructure, our framework reduces denoising iterations by 30-40% and increases tokens-per-step from 2.6 to 4.3, achieving 7-14x speedup over vanilla dLLMs and 1.3x over Fast-dLLM with less than 1% accuracy change across reasoning and code benchmarks.
Figures & tables
Figure 1: Visualization of low-confidence degeneration in parallel decoding for dLLMs. When confidence drops below threshold, existing methods collapse to single-token generation, severely limiting throughput despite dLLMs’ inherent parallel capacity.
Property
Self-Spec
Spiffy
Ours
Speculation granularity
Token
Block
Trajectory
Cross-block lookahead
✗
✗
✓
Tree-based exploration
✗
✗
✓
Lossless verification
✓
✓
∼ ✓
Calibration overhead
Low
High
Low
Speedup (7B models)
∼ 3.46 ×
∼ 7 ×
∼ 14 ×
Table 1: Comparison of speculative decoding methods for dLLMs.
Figure 2: Overview of trajectory-level speculative decoding framework. The method constructs a tree of candidate denoising trajectories, verifies them in parallel using blockwise attention masking, and selects the longest valid path.
Figure 3: Blockwise attention mask construction. Each draft block (shown in different colors) attends bidirectionally to cached prefix and suffix tokens (gray), but draft blocks remain isolated from each other to enable parallel verification of independent trajectories.
Figure 4: Inter-block speculation mechanism. When block Bt+1 exhibits high early confidence, we construct compact draft trees for both Bt and Bt+1 and verify them jointly, exploiting the bidirectional attention structure to enable cross-block lookahead.
Benchmark
Method
TPS↑
Steps↓
Acc.↑
Speedup
GSM8K
Vanilla
4.1
512.0
76.6
1.0 ×
Fast-dLLM (DC)
48.8
110.3
75.6
11.9 ×
Ours
55.7
71.3
75.5
13.6 ×
HumanEval
Vanilla
13.8
512.0
43.9
1.0 ×
Fast-dLLM (DC)
70.6
179.2
45.7
5.1 ×
Ours
94.4
106.7
46.3
6.8 ×
Table 2: Performance on LLaDA-7B-Instruct (A800).
Benchmark
Method
TPS↑
Steps↓
Acc.↑
Speedup
GSM8K
Vanilla
9.0
512.0
76.8
1.0 ×
Fast-dLLM (DC)
50.6
280.6
74.6
5.6 ×
Ours
62.2
164.9
73.7
6.9 ×
HumanEval
Vanilla
16.9
512.0
54.2
1.0 ×
Fast-dLLM (DC)
52.3
295.0
51.2
3.1 ×
Ours
78.1
180.7
54.3
4.6 ×
Table 3: Performance on Dream-7B-Instruct (A800).
Configuration
Tokens/Step
Steps
Latency (s)
Fast-dLLM (DC)
2.61
179.2
6.6
+ Intra W1D1(1)
3.51
134.5
5.6
+ Intra W2D2(3)
3.83
124.0
5.3
+ Intra W3D3(6)
3.95
120.1
5.5
+ Inter W2D2(3)
4.28
106.7
5.0
+ Inter W3D3(6)
4.52
105.1
5.6
Table 4: Ablation on LLaDA-7B (HumanEval, A800).
Figure 5: Computational overhead analysis. Per-step latency increases with the number of draft blocks, but the reduction in total steps yields net speedup. Dashed line indicates cumulative step reduction. Optimal tree size depends on hardware capability and the overhead-reduction trade-off.
Sequence Length
Configuration
32
128
512
2048
w1d1
2.52
3.50
1.27
0.86
w2d1
7.57
6.94
1.69
1.15
w3d1
6.50
5.80
1.54
1.08
w2d2
8.25
6.72
1.86
1.29
w2d3
7.64
4.97
1.80
1.35
Table 5: Tree construction overhead ratio (%) on A100 across sequence lengths.
Configuration
A100 ( μ s)
H100 ( μ s)
w1d1
60.38
37.22
w2d1
60.22
36.03
w3d1
63.14
37.76
w2d2
63.23
37.82
w2d3
74.18
43.23
w3d3
97.95
41.95
Table 6: Fused multi-head attention latency (in μ s) on A100 and H100.
Appendix figures & tables8 assets
Supplementary material from the paper’s appendix.
Appendix
Figure 6: Example of tree-based draft trajectory construction. The root block contains high-confidence tokens (positions 0-31). Child blocks explore alternative predictions at low-confidence positions 12, 18, 24. Each path represents a complete denoising trajectory verified in parallel.
Strategy
Steps
Latency/Step (s)
Total Latency (s)
Hybrid W2D2(3)
124.0
0.043
5.3
+ top-2 W2D2(4)
123.9
0.045
5.6
+ full tree W2D2(4)
124.9
0.045
5.6
+ duplicated W2D2(4)
125.0
0.043
5.3
Hybrid W3D3(6)
120.1
0.046
5.5
+ top-2 W4D3(8)
119.3
0.054
6.4
Appendix
Table 7: Ablation of tree expansion strategies (HumanEval, A800).
Diffusion large language models (dLLMs) have recently emerged as a promising alternative to autoregressive (AR) LLMs, offering faster inference through parallel or blockwise decoding. However, their masked language modeling formulation remains incompatible with standard token-level speculative decoding, one of the most effective acceleration techniques for AR models. In AR decoding, the causal mask preserves temporally valid token-level contexts, enabling a target model to verify multiple drafted tokens in a single forward pass. In contrast, dLLMs rely on mask tokens and bidirectional attention, causing the effective context to change across denoising steps and preventing direct token-level speculative verification. To bridge this gap, we propose a simple but effective speculative decoding algorithm for diffusion language models, named SimSD, which mainly adopts a plug-and-play masking strategy that equips dLLMs with temporally valid token-level contexts for speculative decoding. Our method explicitly introduces reference tokens from draft-model predictions and designs an attention mask that regulates their interaction with current-step tokens, allowing dLLMs to compute valid logits for drafted tokens in a single forward pass. This restores the key verification ability provided by causal masking in AR models while preserving the parallel decoding advantages of dLLMs. The proposed method is training-free and can be flexibly integrated with other acceleration techniques such as KV cache and blockwise decoding. Experiments on SDAR-family dLLMs across four benchmarks show that our method achieves up to 7.46x higher decoding throughput while maintaining and even improving average generation quality.
Junxia Cui, Haotian Ye, Runchu Tian +9
University of California San Diego · University of Illinois Urbana-Champaign · 3Google +1
Diffusion language models (DLMs) promise parallel text generation, but in practice face an unresolved speed-quality trade-off. Exact decoding fills in only one masked position per model pass, while faster multi-token decoding schemes are lossy. Speculative decoding is the standard lossless acceleration for autoregressive models. However, it does not transfer directly to DLMs, which must choose both what to generate and where. We show that this order is the missing piece: the model's own predictions from the previous pass already give the right token at 92-100% of positions, but not which position comes next. Based on this observation, we introduce Speculating Positions Order Trajectory (SPOT), which learns to predict this order. A 0.62M-parameter model reads only the target's output distributions and proposes a tree of candidate continuations, and the target verifies all of them in a single pass by checking whether each equals its own next state. On the verification side, our analysis shows that prior block-diffusion verification approaches either assume T=0 or a sequential proposal interface. To support tree-based speculation at any temperature, we propose using coupled-noise match verification for diffusion blocks, following shared-Gumbel-noise coupling approaches. Our comprehensive experiments show that SPOT cuts target passes by up to 6.8x and reaches up to 3.2x the throughput of standard decoding, beating the calibrated and training-free drafting baselines in every task and budget at T=0 and T=1. In addition, we show that the learned drafter transfers across models, demonstrating successful transfer across six different DLMs. Project page: https://eliezer318.github.io/SPOT-dLLM/
Eliezer Shlomi, Eliron Rahimi, Avi Mendelson +1
Technion – Israel Institute of Technology · INSIGHT Lab, School of Electrical and Computer Engineering, Ben-Gurion University of the Negev
Diffusion-based large language models (dLLMs) support parallel text generation via iterative denoising, yet inference remains latency-heavy because many steps are spent on redundant refinement and repeated remasking of tokens whose final values are already determined. Prior acceleration methods mainly depend on step-local confidence heuristics or fixed schedules, which are sensitive to prompt and task variation and ignore strong positional effects within a sequence. We cast diffusion decoding as a dynamic control problem and show that token-wise denoising trajectories provide the key signal for reliable control. We propose a trace-aware decoding framework with two components. First, Temporal-Spatial Parallel Decoding (TSPD) uses a lightweight temporalspatial controller that consumes per-token trajectory features, including confidence, entropy, and momentum, together with token position, to decide when a token has converged and can be safely fixed. Second, we introduce Confidence Extrapolation (CE), a training-free state-space module that forecasts future logit trends with uncertainty to support proactive decisions, including safe look-ahead and targeted stabilization when trajectories are oscillatory or underconfident. Together, TSPD and CE reduce unnecessary denoising iterations while preserving output quality, and they compose cleanly with system optimizations such as KV caching.