Organizations: Tsinghua University · Shanghai AI Lab · Xi’an Jiaotong University · University of Illinois Urbana-Champaign · Shanghai Jiao Tong University · Peking University
Unsupervised reinforcement learning with verifiable rewards (URLVR) offers a pathway to scale LLM training beyond the supervision bottleneck by deriving rewards without ground truth labels. Recent works leverage model intrinsic signals, showing promising early gains, yet their potential and limitations remain unclear. In this work, we revisit URLVR and provide a comprehensive analysis spanning taxonomy, theory and extensive experiments. We first classify URLVR methods into intrinsic versus external based on reward sources, then establish a unified theoretical framework revealing that all intrinsic methods converge toward sharpening the model's initial distribution This sharpening mechanism succeeds when initial confidence aligns with correctness but fails catastrophically when misaligned. Through systematic experiments, we show intrinsic rewards consistently follow a rise-then-fall pattern across methods, with collapse timing determined by model prior rather than engineering choices. Despite these scaling limits, we find intrinsic rewards remain valuable in test-time training on small datasets, and propose Model Collapse Step to measure model prior, serving as a practical indicator for RL trainability. Finally, we explore external reward methods that ground verification in computational asymmetries, showing preliminary evidence they may escape the confidence-correctness ceiling. Our findings chart boundaries for intrinsic URLVR while motivating paths toward scalable alternatives.
Figures & tables
Figure 1: Overview of our paper’s framework. At the center is the taxonomy of Unsupervised RLVR methods, categorized into intrinsic rewards and external rewards. The four surrounding panels illustrate the key findings of our empirical investigation.
Table 1: Overview of certainty-based rewards, estimators and their formulas. All variants reward high-confidence predictions through different formalizations of model certainty.
Table 2: Overview of ensemble-based rewards, estimators and their formulas. All variants operationalize the assumption that consistency across independent samples correlates with correctness.
Figure 2: Training dynamics comparing majority-voting training and ground-truth training. Intrinsic rewards initially match supervised performance but eventually collapse: the proxy reward rises while validation accuracy falls, revealing divergence between optimizing confidence and optimizing correctness.
Figure 3: Five intrinsic reward methods exhibit distinct failure patterns. Self-Certainty and Majority Voting degrade gradually while maintaining label accuracy. Probability collapses toward brevity and entropy-based methods drive entropy down through repetition rather than correctness.
Figure 4: Training dynamics on individual representative problems. For each problem, the heatmap shows greedy decoding correctness across epochs (blue = correct, red = wrong; darker = higher confidence), and the green wave indicates whether the highest-reward rollout is correct.
Figure 5: Training Label Accuracy ( blue ) on six MATH500 problems and Test Label Accuracy on two OOD problems: ID 76 ( orange ) and ID 131 ( green ).
Figure 6: Effect of training dataset size from {32,128,512,2048,8192,16384} . Training with 32 or 128 samples maintains stable performance without model collapse.
Figure 7: KL divergence at each training step.
Figure 8: Comparison between training and test-time.
Figure 9: Training dynamics of extreme DAPO-32 setting, where almost all initial majority votes are incorrect.
Figure 10: RL Training dynamics after different training stages in Qwen (left) and LLaMA (right) family. In Qwen, SFT enables stable training while base collapses by step 200. In LLaMA, both eventually collapse but SFT delays failure.
Figure 11: Comparison between Model Collapse Step (left) and Pass@k Gain (right) as predictors of RL trainability, with GT Gain (middle) as reference. Later collapse strongly predicts better RL performance.
Figure 12: Consistency across different rollout counts (left) and mini-batch sizes (right). Aggressive hyperparameters accelerate collapse but preserve relative model rankings and predictive power.
Indicator
Computation Cost
Total Tokens
Requires GT
GT Gain
7k×8×17k×7
6.66B
Yes
(response × rollouts × problems × models)
(baseline)
Model Collapse Step
7k×8×662×32
1.19B
No
(response × rollouts × total steps × batch)
(5.6× faster)
Table 3: Computation cost comparison between Model Collapse Step and the gold standard (GT Gain) for assessing RL trainability across 7 models.
Figure 13: Top: Validation accuracy comparing Self-Verification with Trajectory-Level Entropy and Oracle Supervision. Bottom: Training dynamics for Self-Verification.
Figure 14: Prompt sensitivity across base and instruction-aligned models.
Appendix figures & tables33 assets
Supplementary material from the paper’s appendix.
Appendix
Step
1
2
3
4
5
6
7
8
9
10
level3_id146
12.70
15.53
15.92
16.21
18.46
22.07
22.56
24.80
31.35
39.36
level1_id187
6.64
6.69
6.84
7.42
10.45
11.04
11.43
11.82
15.82
18.46
level1_id262
15.14
17.19
17.48
18.85
20.02
22.07
24.12
25.20
34.67
39.84
level3_id122
11.33
12.01
12.40
14.06
17.87
18.46
20.31
21.29
33.59
33.89
Appendix
Table 4: Monotonic increase of pmaj (%) in early training steps.
Step
5
10
15
20
25
30
35
40
45
50
level3_id146
18.46
39.36
48.93
91.11
95.41
98.14
98.54
99.02
99.61
99.80
level1_id187
11.04
18.46
26.37
79.88
89.84
93.07
96.09
97.66
98.54
99.02
level1_id262
22.07
39.84
51.37
90.14
95.90
96.80
97.46
98.05
98.63
99.41
level3_id122
17.87
33.59
43.55
84.28
92.19
93.26
95.80
96.09
98.34
98.54
Appendix
Table 5: Geometric convergence of pmaj (%) to 1.0 over 50 training steps.
Method
Estimator
Formula
Monotonic transformation ψ
Anchor distribution q
Model distribution πθ
RLIF
Self-Certainty
rSC=∣y∣1t=1∑∣y∣H(UV,πθt)+log∣V∣
z+log∣V∣
{UV}t=1∣y∣
{πθt}t=1∣y∣
EM-RL, RENT
Token-Level Entropy
rH=−∣y∣1t=1∑∣y∣H(πθt)
z
{πθt}t=1∣y∣
{πθt}t=1∣y∣
EM-RL
Trajectory-Level Entropy
rTraj=−∣y∣1t=1∑∣y∣H(δt,πθt)
z
{δt}t=1∣y∣
{πθt}t=1∣y∣
RLSC
Probability
rProb=exp(−t=1∑∣y∣H(δt,πθt))
exp(∣I∣⋅z)
{δt}t=1∣y∣
{πθt}t=1∣y∣
EMPO
Semantic Entropy
rSE=exp(−H(δA,πθA))
exp(z)
δA
πθA
TTRL, SRT, ETTRL
Majority Voting
rMV=τ→0+limexp(−H(δA,π~θA))
exp(z)
δA
π~θA
Appendix
Table 6: Instantiations for the unified reward framework of representative intrinsic rewards. Each method is specified by its estimator, anchor and model distributions, and a monotonic transformation of the cross-entropy between them. Token-level ( t ) and answer-level ( A ) variants capture different granularities of aggregation.
Figure 15: Examples of per-problem training dynamics from MATH-500.
Advantage Estimator
Training Temperature
Global Batch Size
Mini Batch Size
Rollout Number
Regularization
Max Prompt Length
Max Response Length
Learning Rate
Epoch
GRPO
1.0
64
64
8
w/o KL/Entropy
1024
7168
1e-6
1
Appendix
Table 7: Default hyperparameters for training.
Figure 16: Effect of training temperature for Majority Voting method.
Figure 17: Effect of mini-batch size for Majority Voting method.
Figure 18: Effect of KL divergence regularization for Majority Voting method.
Figure 19: Effect of rollout number for Majority Voting method.
Figure 20: Effect of training temperature on Self-Certainty performance. Note that Point-Biserial Correlation is replaced with Mean Response Length due to Self-Certainty’s scoring characteristics.
Figure 21: Effect of training temperature on Token-Level Entropy performance.
Figure 22: Effect of training temperature on Trajectory-Level Entropy performance.
Figure 23: Effect of training temperature on Probability-based certainty performance.
Figure 24: Effect of mini-batch size on Self-Certainty performance.
Figure 25: Effect of mini-batch size on Token-Level Entropy performance.
Figure 26: Effect of mini-batch size on Trajectory-Level Entropy performance.
Figure 27: Effect of mini-batch size on Probability performance.
Figure 28: Effect of KL divergence regularization on Self-Certainty performance.
Figure 29: Effect of KL divergence regularization on Token-Level Entropy performance.
Figure 30: Effect of KL divergence regularization on Trajectory-Level Entropy performance.
Figure 31: Effect of KL divergence regularization on Probability performance.
Figure 32: Effect of rollout number on Self-Certainty performance.
Figure 33: Effect of rollout number on Token-Level Entropy performance.
Figure 34: Effect of rollout number on Trajectory-Level Entropy performance.
Figure 35: Effect of rollout number on Probability performance.
Figure 36: Pass@k performance across different validation benchmarks and models, showing how trends vary as k increases from 1 to 256.
Family
Model
Abbrev.
Stage
Size
Qwen
Qwen2.5-1.5B
Q2.5-1.5B
Base
1.5B
Qwen2.5-Math-1.5B
Q2.5-Math-1.5B
Math Base
1.5B
DeepSeek-R1-Distill-Qwen-1.5B
DS-R1-1.5B
SFT
1.5B
Qwen2.5-1.5B-Instruct
Q2.5-1.5B-Inst
Instruct
1.5B
Qwen3-1.7B-Base
Q3-1.7B
Base
1.7B
Qwen3-4B-Base
Q3-4B
Base
4B
Appendix
Table 8: Model configurations for backbone experiments. Models are categorized by family, training stage, and size.
Figure 37: Training dynamics across different training stages in Qwen family models.
Figure 38: Training dynamics across different training stages in Llama family models.
Figure 39: Effect of model size on stability across both Qwen and Llama families.
Figure 40: Comparison of Qwen 2.5 and Qwen 3 generations across comprehensive training metrics. Results reveal improved stability in the newer generation, with Qwen3 models demonstrating more gradual and controlled training dynamics compared to Qwen2.5 counterparts.
Figure 41: Comparison of different training data sources.
Metric
Qwen2.5-Math-1.5B
Qwen2.5-Math-7B
maj@2
28.09
33.23
maj@4
33.68
41.20
maj@8
37.23
45.73
maj@16
38.10
47.98
maj@32
38.43
49.19
maj@64
38.17
49.87
Appendix
Table 9: Comparisons before and after TTRL. The results show that TTRL-trained models significantly surpass the base models’ majority-vote performance in accuracy.