Overcoming Scaling Limits in On-Policy Self-Distillation for LLM Reasoning
Md. Ismail Hossain, Humaira Kousar, Isidora Chara Tourni
cs.LG, cs.CL
2026-09-30
OPSD's gains shrink from 3.05 to 0.14 points from 1.7B to 8B. OASIS distills only answer-verified rollouts, holds a ~3-point gain at 8B, and needs final-answer labels only.
On-policy self-distillation (OPSD) is a cheap recipe for math reasoning: one model plays both roles. The student sees only the problem and samples a solution; the teacher gets the same problem plus a written reference solution and produces a target token distribution at every position of the student's trajectory, which the student matches with a forward KL loss. It uses fewer tokens than RL and avoids the distribution mismatch of offline distillation. Two questions had gone unanswered. It needs a written solution for every training problem, while most verifiable datasets ship only final answers. And nobody had measured which part of the teacher signal actually does the work.
The diagnosis here also explains an awkward fact: OPSD's gain decays with scale. From Qwen3-1.7B to 8B, its improvement over the base model drops from 3.05 to 0.14 points, effectively zero.
The main diagnostic is a recovery probe: cut a student rollout at 10%–90% of its length and let the model continue from the breakpoint under different contexts.
Proposition 1 formalizes this: since the student cannot condition on the reference, the best it can do is match the context-averaged teacher distribution, which leaves an irreducible loss equal to the conditional mutual information I(A;R|Z), and the average is higher-entropy than the teacher itself. Training logs agree: OPSD's student entropy rises from 0.40 to 0.70 and its top-1 agreement with the teacher falls from 0.932 to 0.888. A separate finding (Proposition 2): the per-entry KL clip in the OPSD implementation (κ=0.05) removes the teacher's upward pull on clipped tokens and reverses the gradient sign. At that threshold it cuts 97%/94% (verified/failed) of the positive KL mass, which plausibly explains the late-training drift both methods show.
OASIS (On-policy Alignment via Scaffold-Isolated Supervision) keeps the OPSD loss, teacher, prompts, temperature, and clip unchanged, and swaps two roles.
So the method needs one final answer per problem. Unlike rejection sampling, verification only decides where to distill; the training target is still the teacher's token distribution, not the verified trajectory itself.
Qwen3 at three sizes on AIME 2024, AIME 2025, and HMMT 2025, three-benchmark mean, Avg@12:
| Method | 1.7B | 4B | 8B |
| Base | 37.10 | 59.86 | 62.64 |
| SFT (written solutions) | 35.93 | 58.63 | 62.32 |
| GRPO (same verifier) | 37.70 | 60.46 | 62.87 |
| OPSD | 40.15 | 61.84 | 62.78 |
| OASIS | 40.74 | 63.70 | 65.83 |
The diagnosis stands on its own: OPSD's fading gains are a supervision-allocation problem, not a mystery. The teacher's biggest advantage sits on states the student cannot reproduce, and "distill where the teacher is imitable" applies to any distillation setup with privileged context. Practically, OASIS lowers the data requirement from written solutions to final answers, which opens settings like code with unit tests. The trade is annotation cost for sampling cost, and it pays off where labels are expensive and inference is cheap and parallel.
Keep the frame in mind: every comparison runs at a small budget of 100 steps with LoRA, and GRPO gains only 0.2–0.6 points under that same budget. This is not GRPO's ceiling, and "distillation beats RL" does not follow from this comparison.
The authors list three: competition math only, one model family (Qwen3), and single training runs at 4B and 8B, on top of the higher generation cost. Further questions from the read: the headline +3.05 at 8B comes from one training run evaluated once, with only 4B getting three evaluation seeds, so training-side variance is unquantified. The clipping explanation for late drift is labeled by the authors themselves as one possible explanation and is never fixed and tested in isolation. The teacher is the frozen initial model, so the method adds no new knowledge; it reallocates supervision, and where the residual gain at 8B comes from is still worth probing.