Block-diffusion language models denoise a whole block of token positions in parallel so each forward pass can emit many tokens. However, blocks are still denoised in strict sequence, a cost that within-block acceleration leaves untouched. Here, we investigate decoding blocks concurrently and propose One Block Ahead (OBA), a training-free decoding algorithm that denoises the next block alongside the current one. We demonstrate that for uniform-state diffusion LMs, where a block's denoising progress is not visible in its intermediate tokens, concurrent decoding is advantageous if the next block's tokens are promoted together with the corresponding sampler state, including the self-conditioning signal and the denoising time. We also derive a break-even criterion that relates the benefit of OBA to the relative cost of a paired-block forward pass. On DiffusionGemma, a state-of-the-art diffusion LM, OBA increases the tokens per forward pass by 42.3% (from 15.64 to 22.25) and the single-request denoising throughput by 16.3%, averaged over ten benchmarks, with a small accuracy regression.
Figures & tables
Figure 1: One Block Ahead (OBA). The current block xc and the warm-up block xw are denoised in one forward pass over the input sequence [xc∣xw] . A block-causal attention mask lets xw attend to xc but not the reverse, so xc is denoised as if it were alone. When xc is committed and encoded under causal attention, xw is promoted in its place, retaining the tokens and sampler state it has accumulated, and a new warm-up block follows.
Native ( C=256 )
Native ( C=512 )
FlowBlock ( W=2 )
OBA
Benchmark
TPF
TPS
TPF
TPS
TPF
TPS
TPF
TPS
GSM8K
17.59
2800
19.93
2128
18.33
2816
22.87
2983
MATH-500
17.96
2798
17.52
1503
18.26
2742
23.05
2911
MBPP
16.43
2485
16.64
1208
16.89
2516
22.41
2733
HumanEval
18.93
2963
21.98
1996
22.04
3447
29.22
3858
GPQA
13.13
1919
13.92
1018
14.30
2036
20.38
2435
Table 1: Decoding efficiency across ten benchmarks. Tokens per forward pass (TPF) and tokens per second (TPS). TPS counts denoising GPU time only (Eq. ( 2 )). All metrics are averaged over three generation seeds. Best in bold. OBA achieves higher TPF and TPS than all baselines on all benchmarks. See benchmark accuracy and wall TPS in Appendix H .
Figure 2: Warm-up progress of promoted and newly initialized blocks. For each benchmark, the grey bar corresponds to Native ( C=256 ) and the blue bar to OBA. The full height of a bar is the fraction of the 256 positions accepted on a block’s first pass as the current block, and its dark portion is the fraction whose token at that pass is retained until commitment, so the light segment on top is the fraction of first-pass acceptances later revised. Under OBA the first pass is the one after promotion, and every first block, which has no predecessor, is excluded. Fractions are averaged over three generation seeds. On average, a promoted block under OBA begins its first pass as the current block with 39.9% of its positions already holding their committed tokens, against 5.1% for a newly initialized block under Native ( C=256 ). Per-benchmark values are given in Table 5 .
Policy
Retains
Before promotion
α
r
TPF
TPS
Δ TPS %
Acc.
Native ( C=256 )
–
–
0
1.00
15.64
2375
–
84.07
Keep All (OBA)
x,z,t
full
0.54
1.26
22.25
2761
+16.3
82.70
Drop Time
x,z
full
0.41
1.26
20.76
2558
+7.7
82.69
Keep Tokens
x
full
0.25
1.26
18.83
2309
−2.8
83.55
Keep Signal
z
full
0.32
1.27
19.61
2401
+1.1
83.93
No Accept
z
no acceptance
0.32
1.27
19.62
2403
+1.2
84.95
Table 2: Inheritance policies. α , relative pass cost r , efficiency, and accuracy for seven policies, averaged over the ten benchmarks. Retains gives the inherited state in the (x,z,t) decomposition; Before promotion marks the three policies that instead change what a block does before promotion; Δ TPS is against Native ( C=256 ).
Appendix figures & tables10 assets
Supplementary material from the paper’s appendix.
Appendix
Layout
Mask
Tden (ms)
r
256 positions ( Native ( C=256 ))
—
7.08
1.00
512 positions ( Native ( C=512 ))
dense
13.06
1.84
512 positions ( Dense Mask )
dense
12.06
1.70
512 positions (OBA)
block-causal
8.94
1.26
256/512 positions ( FlowBlock ( W=2 ))
block-causal
7.29
1.03
Appendix
Table 3: Cost of a denoising pass. Tden , the GPU denoising time per denoising pass, and the relative cost r for each block layout on GB300. Both are unweighted means over the ten benchmarks of values pooled over cases and three seeds within each benchmark. A paired pass costs less than a dense pass over the same 512 positions, which sets the value of r used in the break-even criterion α>r−1 of Section 3.3 . Dense Mask shares the shape and kernels of Native ( C=512 ); its lower Tden reflects shorter responses and hence fewer long-context passes.
Live blocks (%)
Setting
Acc. (%)
TPF
TPS
1
2
3
4
r
Native ( C=256 )
84.07
15.64
2375
100.0
0.0
0.0
0.0
1.00
W=2
83.43
16.76
2482
92.2
7.8
0.0
0.0
1.03
W=3
83.58
16.77
2475
92.1
7.2
0.6
0.0
1.03
W=4
83.58
16.68
2463
92.2
7.2
0.4
0.2
1.03
Appendix
Table 4: FlowBlock on DiffusionGemma across window widths W , over three generation seeds. Accuracy, TPF and TPS are unweighted means over the ten benchmarks, as in Table 1 . Live blocks gives the share of denoising passes that run one, two, three or four blocks. r is the cost of a denoising pass relative to Native ( C=256 ), as in Table 3 .
Native ( C=256 )
OBA
Benchmark
Accepted (%)
Final (%)
Accepted (%)
Final (%)
GSM8K
5.2
5.0
50.9
49.8
MATH-500
5.2
5.0
34.8
33.9
MBPP
5.5
5.2
42.1
41.1
HumanEval
10.3
10.0
52.7
51.6
GPQA
3.3
3.0
37.6
36.3
Appendix
Table 5: Position-level stability of promoted and newly initialized blocks. Accepted: fraction of the 256 positions accepted on a block’s first pass as the current block. Final: fraction whose token at that pass is unchanged at commitment, a subset of Accepted. Fractions are computed over complete blocks and averaged over three generation seeds.
Benchmark
Native ( C=256 )
Native ( C=512 )
FlowBlock ( W=2 )
OBA
GSM8K
96.34
94.90
96.03
96.06
MATH-500
96.13
91.87
95.80
95.20
MBPP
94.87
91.07
94.87
93.80
HumanEval
97.36
96.75
96.75
96.75
GPQA
71.55
62.12
70.54
69.02
IFEval
94.09
89.28
92.67
91.44
Appendix
Table 6: Per-benchmark accuracy (%) for the main comparison.
Benchmark
Native ( C=256 )
Native ( C=512 )
FlowBlock ( W=2 )
OBA
GSM8K
2530
1971
2516
2624
MATH-500
2566
1427
2495
2605
MBPP
2296
1155
2301
2454
HumanEval
2690
1865
3057
3338
GPQA
1809
980
1895
2216
IFEval
2252
1684
2349
2683
Appendix
Table 7: Per-benchmark wall TPS for the main comparison. Best in bold.
Benchmark
Keep All
Drop Time
Keep Signal
No Accept
Keep Tokens
No Signal
Dense Mask
GSM8K
96.06
96.36
96.21
95.98
95.45
96.29
95.32
MATH-500
95.20
95.20
96.20
95.40
96.60
97.20
93.20
MBPP
93.80
92.40
93.40
94.60
94.80
94.40
91.40
HumanEval
96.75
96.34
98.78
99.39
97.56
96.95
97.36
GPQA
69.02
69.70
73.74
70.71
72.73
70.20
66.50
IFEval
91.44
89.65
91.68
91.68
92.98
92.79
91.13
Appendix
Table 8: Per-benchmark accuracy (%) for the ablations of Table 2 . Keep All is OBA.
Benchmark
Keep All
Drop Time
Keep Signal
No Accept
Keep Tokens
No Signal
Dense Mask
GSM8K
2624
2484
2371
2344
2294
1996
2037
MATH-500
2605
2468
2341
2367
2310
2013
1853
MBPP
2454
2309
2063
2146
2206
1702
1698
HumanEval
3338
3141
3136
3099
2835
2526
2533
GPQA
2216
2118
1890
1816
1888
1293
1437
IFEval
2683
2479
2268
2329
2293
1835
2072
Appendix
Table 9: Per-benchmark wall TPS for the ablations of Table 2 . Keep All is OBA. Best in bold.
α
r
Benchmark
FlowBlock ( W=2 )
OBA
Native ( C=512 )
FlowBlock ( W=2 )
OBA
GSM8K
0.09
0.52
1.46
1.04
1.26
MATH-500
0.02
0.37
1.75
1.04
1.26
MBPP
0.03
0.45
2.01
1.02
1.27
HumanEval
0.22
0.73
1.67
1.02
1.24
GPQA
0.10
0.63
1.95
1.03
1.26
Appendix
Table 10: Per-benchmark α and r for the main comparison. α is undefined for Native ( C=512 ), whose blocks are twice as long as those of Native ( C=256 ).
Benchmark
Keep All
Drop Time
Keep Signal
No Accept
Keep Tokens
No Signal
Dense Mask
GSM8K
0.52
0.39
0.30
0.27
0.21
−0.01
0.40
MATH-500
0.37
0.28
0.20
0.21
0.15
−0.02
0.22
MBPP
0.45
0.35
0.18
0.23
0.24
−0.07
0.34
HumanEval
0.73
0.61
0.60
0.58
0.39
0.21
0.52
GPQA
0.63
0.54
0.37
0.31
0.33
−0.09
0.44
IFEval
0.63
0.48
0.33
0.37
0.33
0.02
0.47
Appendix
Table 11: Per-benchmark α for the ablations of Table 2 . Keep All is OBA. The fit of Eq. ( 6 ) is solved on [−21,1) and so admits α<0 , meaning a promoted block needs more denoising passes than one initialized from noise. The negative values all occur under No Signal , are at most 0.09 in magnitude, and average to α=0.02 . They are consistent with a warm-up that saves no passes, within the approximation of the block count in Eq. ( 4 ), and possibly with tokens drafted without self-conditioning against an uncommitted predecessor costing slightly more to revise than noise.
Benchmark
Keep All
Drop Time
Keep Signal
No Accept
Keep Tokens
No Signal
Dense Mask
GSM8K
1.26
1.26
1.26
1.26
1.26
1.27
1.49
MATH-500
1.26
1.26
1.27
1.26
1.26
1.27
1.64
MBPP
1.27
1.27
1.28
1.27
1.25
1.29
1.76
HumanEval
1.24
1.25
1.25
1.25
1.25
1.25
1.50
GPQA
1.26
1.25
1.27
1.27
1.25
1.29
1.79
IFEval
1.26
1.26
1.26
1.26
1.26
1.26
1.51
Appendix
Table 12: Per-benchmark r for the ablations of Table 2 . Keep All is OBA.
Diffusion language models (dLLMs) generate text by iteratively denoising multiple token positions in parallel, offering an attractive alternative to strictly autoregressive decoding. In practice, however, block-wise dLLM inference exposes a difficult granularity trade-off: small blocks preserve local conditioning but require many denoising steps, whereas large blocks expose more parallelism but can make premature commitments and accumulate cache error. Existing acceleration methods typically choose a single block size per request, leaving the complementarity among block sizes unused. We show that block size itself is a useful branching dimension. Different block sizes induce related but non-identical KV-cache trajectories: branches often share an initial prefix, bifurcate at semantically decisive positions, and later agree on syntactically lightweight tokens. Motivated by this structure, we propose BlockBatch, a training-free online inference framework that executes multiple block-size branches for the same request inside a batched forward pass. BlockBatch coordinates these branches through confidence-gated token merging, leader-based synchronization, and periodic full-sequence refreshes that re-anchor local block updates to a globally consistent KV state. Across 3 representative dLLMs and 4 datasets, BlockBatch reduces denoising NFEs by 26.6% on average and achieves a 1.33× average end-to-end speedup over Fast-dLLM while preserving accuracy. These results identify block-size diversity as a practical and previously underexplored axis for branch-parallel dLLM inference.
Block Diffusion Language Models (BD-LMs) improve diffusion-based text generation with KV caching and flexible-length generation. A natural next step is to extend them from Single-Block Diffusion (SingleBD) to Multi-Block Diffusion (MultiBD), where a running-set of consecutive blocks is decoded concurrently for inter-block parallelism. However, existing BD-LMs are mostly trained under teacher forcing, where the model observes only one noisy block conditioned on a clean prefix. While the recent diffusion forcing strategy introduces visibility among multiple noisy blocks, its training states still differ from MultiBD inference, where decoding operates on a bounded running-set with heterogeneous slot-wise noise patterns. To bridge this gap, we propose Multi-Block Diffusion Language Models (MBD-LMs), obtained by post-training BD-LMs with Multi-block Teacher Forcing (MultiTF). MultiTF integrates teacher forcing and diffusion forcing by training on bounded noise-groups conditioned on clean prefixes, with randomized noise-schedulers that better match MultiBD inference states. To make MultiBD practically executable, we further introduce an optimized decoding algorithm based on the Block Buffer mechanism that preserves prefix-cache reuse, keeps input shapes static, and translates increased decoding parallelism into wall-clock acceleration. Empirically, MBD-LLaDA2-Mini increases average Tokens Per Forward pass (TPF) from 3.47 to 6.19 and improves average accuracy from 79.95% to 81.03%; when combined with DMax, MBD-LLaDA2-Mini-DMax reaches an average TPF of 9.34 with only a 1.02% accuracy drop on math and code benchmarks.
Yijie Jin, Jiajun Xu, Yuxuan Liu +8
Shanghai Jiao Tong University · Xi’an Jiao Tong University · Huawei
Diffusion language models enable flexible arbitrary-order generation, but existing sampling methods are mostly designed for early masked diffusion models (MDMs). In this work, we study sampling for recent block diffusion language models (BDLMs). We show empirically and analytically that these models are naturally more aligned with left-to-right decoding than MDMs. Based on this observation, we propose Parallel Autoregressive Decoding (PARD), a simple training-free sampling method that preserves left-to-right unmasking structure while allowing parallel token commitment. Extensive experiments show that PARD consistently outperforms existing parallel samplers in generation quality, while achieving substantial speedups over pure AR decoding with only a small quality gap.
Kai Syun Hou, James Kwok
Department of Computer Science and Engineering The Hong Kong University of Science and Technology