Block-diffusion language models offer a promising path toward faster-than-autoregressive generation by combining block-wise autoregressive decoding with within-block parallel denoising. However, in the few-step regime needed for practical acceleration, standard confidence-thresholded decoding is often brittle: aggressive thresholds hurt quality, while conservative thresholds require unnecessary denoising steps. Existing approaches that address this issue either require additional training or incur extra test-time compute. We present S2D2, a training-free self-speculative decoding framework for block-diffusion language models. Our key observation is that a block-diffusion model becomes autoregressive when the block size is reduced to one, allowing the same pretrained model to act as both drafter and verifier. S2D2 inserts a speculative verification step into standard block-diffusion decoding and uses lightweight routing policies to decide when verification is worth its cost. This yields a hybrid decoding trajectory in which diffusion proposes tokens in parallel, while the autoregressive mode acts as a local sequence-level critic. Across three mainstream block-diffusion families, S2D2 consistently improves the accuracy-speed tradeoff over strong confidence-thresholding baselines. On SDAR, we observe up to 4.7× speedup over autoregressive decoding, and up to 1.57× over a tuned dynamic decoding baseline while improving accuracy by up to 4.5 points. On LLaDA2.1-Mini, S2D2 remains complementary to built-in self-correction, including a conservative setting where it is 4.4× faster than the static baseline with slightly higher accuracy.
Figures & tables
Figure 1: Overview of S2D2 . (a) Standard block-diffusion decoding accepts drafted tokens by confidence thresholding. (b) S2D2 inserts a self-speculative verification step: the same model under block-size- 1 autoregressive masking verifies the first contiguous masked span, accepts tokens by rejection sampling, and falls back to standard diffusion decoding when verification is not invoked or terminates early. (c) Verification-mode attention masks for right-shifted and standard position-aligned diffusion LLMs; we draw the full-block mask for illustration, though in practice only Ct is verified. (d) Lightweight routing policies decide when verification is worth its additional cost.
Figure 2: AR-ness (@ k , k=2 ) and decoding-confidence statistics on GSM8K and MBPP. Top row: local and global AR-ness for SDAR-8B-Chat and LLaDA 2.1. Bottom row: normalized decoded-token confidence under static and dynamic diffusion decoding; dashed curves in dynamic decoding indicate the number of decoded tokens per step. Reference accuracies (GSM8K, MBPP): SDAR-8B-Chat, AR (89.3%,64.4%) and diffusion (89.6%,61.0%) ; LLaDA 2.1, AR (90.8%,65.8%) and diffusion (90.8%,67.8%) .
Method
GSM8K
MBPP
HumanEval
IFEval
Avg
SDAR-1.7B-Chat
AR
76.3 (1.0 × )
48.4 (1.0 × )
62.2 (1.0 × )
38.6 (1.0 × )
56.4 (1.0 × )
Diffusion (static)
77.9 (1.7 × )
13.6 (1.3 × )
51.8 (1.9 × )
43.3 (2.1 × )
46.7 (1.9 × )
Diffusion (dynamic)
77.2 (2.7 × )
21.6 (1.3 × )
51.8 (3.4 × )
43.0 (3.8 × )
48.4 (3.1 × )
S2D2 (config-A)
77.4 (2.3 × )
45.4 (1.5 × )
48.8 (2.3 × )
46.2 (2.7 × )
54.4 (2.5 × )
S2D2 (config-B)
73.8 ( 4.3 × )
44.4 ( 2.9 × )
52.4 ( 4.1 × )
41.1 ( 5.2 × )
52.9 ( 4.7 × )
Table 1: Main accuracy and speedup results on the SDAR family. Speedups are measured relative to the autoregressive baseline. For each model, we report standard diffusion decoding at the strongest baseline block size and two representative S2D2 settings: config-A for higher accuracy and config-B for higher speed.
Method
GSM8K
MBPP
HumanEval
IFEval
Avg
AR
85.1 (1.0 × )
51.8 (1.0 × )
32.9 (1.0 × )
67.7 (1.0 × )
59.4 (1.0 × )
Diffusion (config-A)
84.8 (2.5 × )
50.6 (2.3 × )
14.6 (1.4 × )
63.1 (1.6 × )
53.3 (2.1 × )
Diffusion (config-B)
83.2 (3.3 × )
47.8 (2.9 × )
11.0 (1.5 × )
61.6 (1.9 × )
50.9 (2.7 × )
Diffusion (config-C, SB=32)
78.3 (3.5 × )
46.2 (3.6 × )
8.5 (1.7 × )
59.4 (1.9 × )
48.1 (2.9 × )
S2D2 (config-A)
83.8 (1.6 × )
48.8 (2.0 × )
21.3 (1.5 × )
62.7 (1.3 × )
54.2 (1.6 × )
S2D2 (config-B)
84.2 (3.0 × )
45.0 (3.7 × )
22.0 (2.0 × )
64.0 ( 1.9 × )
53.8 (2.8 × )
Table 2: Main accuracy and speedup results on Fast-dLLM v2. We fix block size B=32 and vary the sub-block size SB . Speedups are measured relative to the autoregressive-style baseline B=4,SB=1 . Config-C corresponds to the normal BD3 without sub-blocks.
Block-Size=1 (AR)
τmask=1,τedit=0.9
Method
GSM8K
MBPP
Avg
GSM8K
MBPP
Avg
Diffusion
90.8 (1.0 × )
65.8 (1.0 × )
78.3 (1.0 × )
90.8 (0.6 × )
67.6 (0.5 × )
79.2 (0.5 × )
τmask=0.7,τedit=0.5
τmask=0.95,τedit=0.9
Diffusion
89.6 ( 2.7 × )
57.8 ( 2.8 × )
73.7 ( 2.7 × )
91.0 (1.7 × )
66.4 (1.8 × )
78.7 (1.7 × )
S2D2
90.8 (2.2 × )
64.0 (2.1 × )
77.4 (2.1 × )
89.8 ( 2.1 × )
68.8 ( 2.2 × )
79.3 ( 2.2 × )
Table 3: Accuracy and speedup results on LLaDA2.1-Mini. Speedups are measured relative to the AR baseline. We compare the built-in editing-based diffusion decoder against S2D2 under two threshold settings.
Figure 3: Accuracy versus wall-clock time for SDAR-8B-Chat on GSM8K and MBPP. ITS denotes inference-time scaling, the ITS trend curve is fitted on points with accuracy >30% . Across block sizes, denoising steps, and decoding schedules, S2D2 generally achieves a better accuracy–speed frontier than BD3.
Appendix figures & tables18 assets
Supplementary material from the paper’s appendix.
Appendix
Figure 4: Drafting and caching with autoregressive attention masks.
Setting
Method
T=0 GSM8K
T=0 MBPP
T=0.5 GSM8K
T=0.5 MBPP
Conservative
AR
90.8 (1.0 × )
65.8 (1.0 × )
89.2±0.4 (1.0 × )
64.5±0.8 (1.0 × )
Diffusion
91.0 (1.6 × )
66.4 (1.7 × )
89.8±0.7 (2.4 × )
56.5±0.3 (2.9 × )
S2D2
90.3±0.5 (2.0 × )
67.2±1.7 (2.1 × )
90.3±0.5 (1.8 × )
65.8±0.9 (2.0 × )
Quality
AR
90.8 (1.0 × )
65.8 (1.0 × )
89.2±0.4 (1.0 × )
64.5±0.8 (1.0 × )
Diffusion
89.6 (2.5 × )
57.8 (3.0 × )
85.3±0.8 (2.8 × )
38.0±1.2 (3.5 × )
S2D2
89.8±0.6 (1.9 × )
64.8±1.0 (2.2 × )
89.0±0.7 (1.8 × )
60.8±1.1 (2.1 × )
Appendix
Table 4: Multi-seed LLaDA2.1-Mini results. Accuracy is reported in percent with wall-clock speedup over AR in parentheses.
BS
Method
GSM8K
MBPP
Acc
Tput@128
Tput full
Acc
Tput@128
Tput full
1
BD3 dynamic
0.87
38
125
0.43
33
275
1
S2D2
0.86
45
143
0.72
46
354
32
BD3 dynamic
0.85
1064
3458
0.41
902
7485
32
S2D2
0.85
1378
4555
0.69
1195
8914
64
BD3 dynamic
0.85
1800
5809
0.40
1491
12092
Appendix
Table 5: Batched throughput for SDAR-8B at B=16,S=16 . Throughput is reported in tokens/s.
BS
Method
GSM8K
MBPP
Acc
Tput@128
Tput full
Acc
Tput@128
Tput full
1
Baseline
0.78
146
342
0.41
83
237
1
S2D2
0.89
143
310
0.47
113
327
32
Baseline
0.83
2021
4515
0.44
1120
3215
32
S2D2
0.89
2535
5160
0.51
1715
4757
64
Baseline
0.83
2137
4752
0.44
1181
3385
Appendix
Table 6: Batched throughput for Fast-dLLM v2 at B=32,SB=32 . Throughput is reported in tokens/s.
Quadrant
Description
SDAR
Fast-dLLM v2
Q1
High conf., high ratio
47.9%, 99.2% acc.
44.6%, 99.3% acc.
Q2
Low conf., high ratio
28.5%, 97.8% acc.
21.3%, 96.4% acc.
Q3
High conf., low ratio
2.4%, 5.7% acc.
3.8%, 4.6% acc.
Q4
Low conf., low ratio
21.2%, 5.4% acc.
30.3%, 4.8% acc.
Appendix
Table 7: Per-token draft-confidence versus verifier-ratio analysis on GSM8K. Fractions are over verified tokens.
Config
Accuracy
Avg. NFE
AR ( B=1 )
20.0%
225.5
Diffusion ( B=32 )
50.0%
72.6
S2D2 ( B=32 , resampling)
33.3%
58.5
S2D2 ( B=32 , reject only)
46.7%
67.7
Appendix
Table 8: Failure case on a D2F LLaDA variant evaluated on GSM8K.
Config
B=8
B=16
B=32
Slowdown
Baseline
85.0 / 61.5
90.5 / 63.5
90.0 / 56.0
1 ×
Residual, w=0.2S
84.0 / 60.5
88.5 / 61.0
92.5 / 61.0
∼ 3 ×
Residual, w=S
84.5 / 63.5
91.0 / 59.0
88.5 / 57.5
∼ 10 ×
NLL, w=0.2S
85.5 / 63.0
90.5 / 58.5
91.0 / 57.5
∼ 3 ×
NLL, w=S
90.5 / 63.0
92.0 / 61.5
92.5 / 59.0
∼ 10 ×
Appendix
Table 9: Self-normalized importance sampling on LLaDA2.1-Mini with k=8 . Accuracy is GSM8K/MBPP. Slowdown is approximate relative to single-sample baseline generation.
Method
GSM8K
MBPP
Acc
NFE
Wall
P@1
NFE
Wall
AR ( B=1 )
0.900
1.00 ×
1.00 ×
0.665
1.00 ×
1.00 ×
S2D2 config-B
0.895
4.65 ×
3.62 ×
0.595
3.77 ×
3.04 ×
BD3 dynamic τ=0.85
0.835
3.63 ×
3.58 ×
0.465
2.92 ×
2.73 ×
Periodic step p=2
0.865
4.33 ×
3.28 ×
0.480
3.29 ×
2.58 ×
Periodic block bp=2
0.835
4.47 ×
3.71 ×
0.490
3.43 ×
2.74 ×
Appendix
Table 10: Inference-time alternatives on SDAR-8B with B=16 . Speedups are relative to AR.
Config
Mean Error
Std Error
MAE
Random baseline αi∼U[0,1]
–
-8.014
10.293
8.129
Soft entropy estimator αi=exp(−βH~i)
β=0.5
-0.445
8.598
5.843
β=0.75
-1.956
8.872
5.279
β=1.0
-2.861
9.031
5.084
Appendix
Table 11: Token acceptance estimator ablation. We report signed error (Mean Error), error standard deviation (Std Error), and mean absolute error (MAE) for predicting accepted prefix length. Lower absolute error is better.
Config
B=1 (AR)
B=4
B=8
B=16
B=32
GSM8K
MBPP
Avg
GSM8K
MBPP
Avg
GSM8K
MBPP
Avg
GSM8K
MBPP
Avg
GSM8K
MBPP
Avg
Static
89.0 (1.0 × )
63.6 (1.0 × )
76.3 (1.0 × )
90.5 (1.5 × )
62.6 (1.5 × )
76.6 (1.5 × )
90.5 (1.8 × )
50.8 (1.7 × )
70.7 (1.7 × )
89.0 (1.6 × )
36.2 (1.7 × )
62.6 (1.6 × )
86.0 (1.4 × )
12.4 (1.5 × )
49.2 (1.4 × )
Dynamic
–
–
–
91.0 ( 2.9 × )
60.8 ( 2.0 × )
75.9 ( 2.4 × )
90.5 ( 3.3 × )
53.6 ( 2.6 × )
72.0 ( 3.0 × )
86.0 ( 3.4 × )
49.0 ( 2.8 × )
67.5 ( 3.1 × )
83.0 ( 3.2 × )
43.6 ( 2.8 × )
63.3 ( 3.0 × )
Appendix
Table 12: Baseline BD3 results with static and dynamic confidence-based unmasking.
τspan
B=4
B=8
B=16
B=32
GSM8K
MBPP
Avg
GSM8K
MBPP
Avg
GSM8K
MBPP
Avg
GSM8K
MBPP
Avg
1
90.0 (1.9 × )
61.8 (1.9 × )
75.9 (1.9 × )
90.0 (2.9 × )
61.2 (2.5 × )
75.6 (2.7 × )
90.0 (3.5 × )
61.4 ( 3.0 × )
75.7 (3.2 × )
89.5 (4.7 × )
59.8 (3.2 × )
74.6 (3.8 × )
2
91.5 ( 2.1 × )
59.6 ( 2.0 × )
75.6 ( 2.0 × )
92.0 (3.2 × )
60.6 (2.5 × )
76.3 (2.8 × )
90.0 (3.9 × )
61.0 (2.9 × )
75.5 (3.3 × )
93.0 ( 4.8 × )
58.6 ( 3.4 × )
75.8 ( 4.0 × )
3
93.0 (1.9 × )
61.2 (1.9 × )
77.1 (1.9 × )
–
–
–
–
–
–
–
–
–
4
–
–
–
91.5 ( 3.3 × )
60.4 ( 2.8 × )
76.0 ( 3.0 × )
91.5 (4.1 × )
59.4 ( 3.0 × )
75.4 ( 3.5 × )
91.5 ( 4.8 × )
58.8 (3.1 × )
75.2 (3.8 × )
7
–
–
–
91.5 (3.2 × )
58.8 (2.6 × )
75.2 (2.9 × )
–
–
–
–
–
–
Appendix
Table 13: Ablation of the minimum-span policy. We vary the minimum contiguous mask-span threshold τspan .
Table 16: Ablation of hysteresis policies with entropy -based token acceptance estimator. We use dynamic score only, with fixed c=1 .
β
B=4
B=8
B=16
B=32
GSM8K
MBPP
Avg
GSM8K
MBPP
Avg
GSM8K
MBPP
Avg
GSM8K
MBPP
Avg
Tuple (1,2,2)
0.2
92.5 (2.2 × )
53.4 (1.9 × )
73.0 (2.1 × )
87.0 (3.4 × )
49.0 (2.5 × )
68.0 (2.9 × )
87.0 (3.4 × )
50.2 (2.7 × )
68.6 (3.0 × )
83.5 (4.2 × )
52.6 ( 3.2 × )
68.0 (3.6 × )
0.5
91.5 (2.2 × )
55.4 (2.0 × )
73.5 (2.1 × )
89.5 ( 3.5 × )
51.6 ( 2.7 × )
70.5 ( 3.1 × )
89.5 (3.6 × )
52.0 (2.8 × )
70.8 (3.2 × )
82.5 (3.8 × )
49.6 (2.8 × )
66.0 (3.2 × )
1
92.5 (2.3 × )
55.0 (2.0 × )
73.8 (2.2 × )
85.5 (3.4 × )
47.6 ( 2.7 × )
66.5 (3.0 × )
86.0 (3.9 × )
50.8 (2.9 × )
68.4 (3.3 × )
81.5 (3.5 × )
48.6 (2.9 × )
65.0 (3.2 × )
2
91.5 (2.3 × )
53.6 (1.8 × )
72.5 (2.0 × )
87.5 (2.7 × )
49.8 (2.4 × )
68.7 (2.5 × )
87.5 (3.8 × )
48.0 (2.9 × )
67.8 (3.3 × )
83.0 (3.8 × )
50.0 (3.0 × )
66.5 (3.3 × )
Appendix
Table 17: Ablation of contextual-bandit UCB policies. The context tuple (a,b,c) denotes the numbers of bins for mask span length, decoding progress, and entropy, respectively. We report results for different UCB exploration coefficients β .
Figure 5: AR-ness and decoding confidence statistics for SDAR-8B-Chat. Top row: local/global AR-ness on GSM8K and MBPP. Bottom row: normalized confidence statistics under static and dynamic decoding on GSM8K and MBPP.
Figure 6: AR-ness and decoding confidence statistics for LLaDA-2.1-Mini. Top row: local/global AR-ness on GSM8K and MBPP. Bottom row: normalized confidence statistics under static and dynamic decoding on GSM8K and MBPP.
γ
Config-A
Config-B
GSM8K
MBPP
Avg
GSM8K
MBPP
Avg
0.5
89.5 (1.02 × )
60.0 (1.06 × )
74.8 (1.03 × )
88.5 (1.02 × )
58.0 (1.00 × )
73.2 (1.01 × )
0.75
89.5 (0.99 × )
62.0 (1.06 × )
75.8 (1.01 × )
90.5 (0.99 × )
58.5 (0.95 × )
74.5 (0.98 × )
1.0
89.5 (1.00 × )
64.0 (1.00 × )
76.8 (1.00 × )
89.5 (1.00 × )
60.5 (1.00 × )
75.0 (1.00 × )
1.25
89.5 (1.00 × )
60.5 (1.07 × )
75.0 (1.02 × )
90.5 (0.93 × )
60.5 (0.96 × )
75.5 (0.94 × )
1.5
90.5 (1.00 × )
60.5 (0.96 × )
75.5 (0.99 × )
90.5 (1.01 × )
60.0 (0.96 × )
75.2 (1.00 × )
Appendix
Table 18: Ablation of rejection-sampling ratio tempering for SSD on SDAR-8B-Chat. We vary the tempering factor γ in the acceptance ratio (qi/pi)γ and report accuracy (speedup relative to γ=1 ).
Speculative decoding accelerates autoregressive large language model inference by drafting multiple tokens and verifying them in a single target-model forward pass. Recent diffusion-based drafters generate an entire block of tokens in parallel but usually commit to a single draft sequence per verification: once the first mismatch occurs, all subsequent draft tokens are discarded, resulting in a limited acceptance rate. Naively batching more draft candidate sequences only introduces a marginal improvement, as redundant or poorly placed branches increase the cost of drafting and verification without proportionally increasing the number of accepted tokens. We propose D^2SD, a dual diffusion draft speculative decoding framework that organizes candidates into a confidence-guided prefix tree, where the first diffusion drafter generates a block along with per-position confidence scores that are used to identify the most likely rejection boundary and select the top-K prefix ranges for recovery; the second variable-prefix diffusion drafter re-anchors at each selected prefix and proposes alternative continuations in one batched pass; the resulting shared-prefix candidates are jointly verified via cascade attention. Empirically, D^2SD shows clear improvements over both the underlying diffusion approach and strong autoregressive speculative decoding baselines.
Liyuan Zhang, Jiarui Zhang, Jinwei Yao +6
Peking University · Tsinghua University · HKUST +2
Speculative decoding speeds up LLM inference by using a draft model to generate tokens, with an acceptance-rejection scheme that ensures that the output matches the target distribution. Adapting this to continuous diffusions is difficult because speculative sampling requires drawing from a residual distribution. While straightforward in discrete spaces, efficiently sampling this residual in continuous space is non-trivial. Consequently, existing diffusion adaptations either use computationally inefficient sampling techniques or rely on an alternative scheme. In this work, we introduce a novel scheme that efficiently implements the original speculative sampling mechanism for diffusion models. Our approach offers a critical advantage over current methods: it enables us to adapt block verification from LLMs to diffusions -- which provably improves the acceptance rate of drafts. Furthermore, we formalize and analyze the Free Drafter, a heuristic self-speculative drafter for diffusions that requires no training. By enabling block verification, our Free Drafter yields up to a 6.3% speedup over existing speculative methods with no additional training and negligible overhead beyond the existing parallel verification pass.
Alexander Soen, Hisham Husain, Valentin De Bortoli +1
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