Inference-time decoding methods improve LLM reasoning by exploring multiple candidate trajectories, yet treat each trajectory as atomic: either retaining it whole or discarding it irreversibly. This wastes computation on partially promising candidates whose high-quality prefixes are abandoned alongside degraded suffixes. We introduce Selective Regenerative Decoding (SRD), which routes each candidate to discard, keep, or refine only the degraded portion of the suffix while preserving the useful prefix of borderline candidates, without requiring a larger target model. Under mild assumptions, SRD achieves a provable 1.28-to-1.36-fold gain in sample efficiency over rejection sampling with strictly higher expected trajectory quality, with the gain growing as the candidate pool grows. Across MATH500, GPQA Diamond, HotpotQA, and AlpacaEval with multiple generation-reward model pairs, SRD matches Best-of-N accuracy with substantially fewer generated tokens and outperforms speculative rejection in low-compute regimes. By enabling segment-level intervention rather than whole-trajectory selection, SRD opens a previously underexplored region of the accuracy-compute tradeoff for inference-time reasoning.
Figures & tables
Figure 1: Comparison of decoding strategies on three trajectories ( τ1 : high quality throughout; τ2 : high-quality prefix with degraded suffix; τ3 : low quality). Best-of- N fully generates all candidates and selects the best, discarding the rest. Speculative Rejection terminates trajectories when quality drops, saving compute but permanently losing useful prefixes. SRD preserves τ2 ’s high-quality prefix and selectively regenerates only its degraded suffix (teal), recovering a trajectory that both baselines waste.
Generation Model
Reward Model
MATH500
Llama-3.1-8B-Instruct
AceMath-7B-RM
Qwen2.5-Math-1.5B-Instruct
AceMath-7B-RM
GPQA DIAMOND
Llama-3.1-8B-Instruct
Skywork-o1-Open-PRM-7B
Qwen3-4B-Instruct
Skywork-o1-Open-PRM-7B
Table 1: Generation and reward model combinations used for each dataset.
Figure 2: Accuracy-compute trade-offs of inference-time decoding methods across four benchmarks and multiple generation-reward model combinations. Compute is measured by the average number of generated tokens from the language model. SRD consistently achieves competitive performance with respect to Best-of- N and Speculative Rejection under lower or comparable generation budgets by selectively reusing and refining partial trajectories.
N
Acc.
Time (s)
In Tok.
Out Tok.
Drafter (time/calls)
Scorer (time/calls)
Editor (time/calls)
Router (time/calls)
10
0.544
7.21
6629
2166
4.73 / 4.1
1.29 / 5.6
1.18 / 1.0
<0.01 / 3.8
50
0.611
18.07
32895
10927
7.43 / 4.2
6.98 / 6.6
3.59 / 2.2
<0.01 / 5.3
100
0.640
29.76
65737
21840
10.96 / 4.2
13.53 / 6.7
5.13 / 2.3
<0.01 / 5.5
Table 2: Component-level breakdown of SRD on MATH500 under different values of N . We report overall accuracy, runtime, token statistics, and per-component time and call frequency in the format of time / calls .
θhigh
θlow
Accuracy
Out Tokens
0.5
0.3
0.5444
2166
0.5
0.5
0.5400
1973
0.5
0.2
0.5267
2325
0.8
0.5
0.4667
1871
0.7
0.3
0.4467
2091
Table 3: Effect of routing thresholds on MATH500 (Llama-3.1-8B-Instruct, N=10 ).
Refinement Policy
Accuracy
Out Tokens
Dataset: MATH500
Reroute (global)
0.5444
2166
Keep on refine
0.5333
2149
Force keep
0.5267
2162
Refine-Bo3
0.5222
2521
Refine-Bo10
0.5244
3819
Table 4: Effect of different refinement policies on representative reasoning tasks ( N=10 ).
Scoring Interval
Accuracy
Out Tokens
Dataset: MATH500
1
0.5533
2389
5
0.5422
2383
10
0.5667
2387
20
0.5556
2388
50
0.5689
2387
Table 5: Ablation on scoring interval (localization granularity), which determines where SRD begins suffix regeneration within a trajectory routed to Refine .
Appendix figures & tables2 assets
Supplementary material from the paper’s appendix.
Appendix
N
pH
pM
pL
ρ^
Efficiency Gain
10
0.522
0.148
0.329
1.00 (100%)
1.28 ×
20
0.513
0.180
0.305
1.00 (100%)
1.35 ×
30
0.509
0.182
0.308
1.00 (100%)
1.36 ×
Appendix
Table 6: Empirical routing distributions and refinement efficacy ( ρ^ ) on MATH500 (Qwen2.5-Math-1.5B, AceMath-7B-RM, 50 samples per N ). The efficiency gain is computed as 1+ρ^⋅pM/pH per Theorem .
N
SRD Rˉmax
RS Rˉmax
Δn
SRD wins
RS wins
Ties
Refine improved
Pre → Post
10
17.70
17.34
+0.36±1.70
46%
18%
36%
78%
2.85 → 5.96
20
18.75
18.47
+0.28±4.11
54%
24%
22%
98%
3.41 → 6.79
30
19.96
18.66
+1.29±3.41
52%
24%
24%
100%
3.69 → 6.87
Appendix
Table 7: Theorem validation on MATH500 (Qwen2.5-Math-1.5B, AceMath-7B-RM, 50 samples per N ). Both methods start from identical initial drafts via seeded generation. Δn=Rˉmax−Rˉmax (mean ± std). “Pre → Post” reports mean reward before and after refinement.