SU-01 Team · Shanghai AI Lab · July 2026

SimpleOPD Simple Tokenizer-Agnostic On-Policy Distillation
of Long-Context Reasoning

Transferring gold-medal-level proof-reasoning from a long-context teacher to short-context students — across tokenizers, without SFT on teacher trajectories.

Haonan He Haodi Lei Yun Luo†★ Haoran Zhang Shuankai Zhang Yizhuo Li Shengji Tang Zhilin Wang Runzhe Zhan Lei Bai Ganqu Cui Fangchen Yu Yafu Li Peng Ye Ning Ding Yu Cheng

Co-first authors · Corresponding authors · Project Lead
SU-01 Team, Shanghai AI Lab

0 points ProofBench gain (Intern-S2-OPD)
0 on ProofBench surpassing Gemini-2.5-Pro & GPT-5
0 student models Qwen3 · Qwen3.5 · Intern-S2 · GLM · Gemma
0 truncation rate with token masking + ref-KL
Overview

TL;DR

On-policy distillation (OPD) offers a promising way to transfer reasoning capabilities from stronger teacher models, yet faces challenges including tokenizer mismatch, teacher–student distribution mismatch, response length explosion, and training instability. In this work, we study a setting where OPD transfers proof-reasoning capabilities from the long-context reasoning model SU-01 to short-context student models. To handle tokenizer differences, we perform OPD in a shared text space and align only tokens that occupy identical text spans under the student and teacher tokenizers.

Naive OPD leads to excessive generation length and frequent truncation, destabilizing training. We introduce a student reference KL loss and mask the advantages of special termination tokens (</think>, <|im_end|>). This constrains the student from drifting too far from its initial policy, mitigating the distribution mismatch and fostering steady length growth.

Experiments on same-family and different-family students — Qwen3, Qwen3.5, Intern-S2-Preview, GLM-4.7-Flash, Gemma-4-26B — show consistent gains in mathematical reasoning, especially natural-language math proving. Notably, Intern-S2-Preview improves by 21.2 points on ProofBench, reaching 55.2 and surpassing Gemini-2.5-Pro — while also improving science benchmarks such as HLE and HiPhO, suggesting OPD transfers reasoning capabilities that generalize beyond the mathematical training domain.

Highlights

Key Takeaways

01

Shared Text Space

Cross-tokenizer OPD works without full token-level alignment: use student-generated text as the shared space and align only tokens occupying identical text spans under both tokenizers.

02

Length Explosion

Direct cross-tokenizer OPD transfers proof-reasoning but causes excessive length growth, frequent truncation, and unstable training.

03

Stabilization

Masking special-termination-token advantages plus a student reference KL loss stabilizes training, reduces truncation, and improves final performance. Larger KL weight is needed when teacher and student differ more.

04

Generalizable

SimpleOPD works across model families without SFT on teacher trajectories, and a moderate increase in distillation length further benefits long-reasoning distillation.

Method

Cross-Tokenizer On-Policy Distillation

The complete method is summarized below — from student rollout, to span-level token alignment, to the stabilized policy objective.

SimpleOPD overview: student generates response, teacher evaluates in its own tokenizer, aligned tokens transfer supervision.
Overview SimpleOPD: the student samples a response in its own tokenizer; the teacher evaluates the same surface string under its own tokenizer and chat template; supervision flows only through tokens that occupy identical text spans.

1.1 Setup

Let \(\mathbf{x}\) denote the input conversation as a list of messages. The student and teacher with different tokenizers may use different chat templates, denoted by \(\mathcal{C}_{\theta}\) and \(\mathcal{C}_{\phi}\). We first construct the student input context \(\mathbf{c}_{\theta}\) and sample a response-token sequence with the student policy executed by the rollout engine \(\pi_{\theta_{\mathrm{roll}}}\):

\[ y_{1:n} = (y_1,\ldots,y_n) \sim \pi_{\theta_{\mathrm{roll}}}(\cdot \mid \mathbf{c}_\theta). \]

Decoding \(y_{1:n}\) via the student tokenizer gives the response surface string \(s\). Instead of passing the student context to the teacher, we reconstruct the teacher context text \(u_\phi\) using its own chat template and append the student response:

\[ c_\phi = \mathcal{C}_\phi(\mathbf{x}), \qquad u_\phi = c_\phi \oplus s, \]

where \(\oplus\) denotes string concatenation. The complete text \(u_\phi\) is then tokenized with the teacher encoder, giving \(z_{1:m}\). This lets the teacher evaluate the student response under its native tokenizer and chat template — although \(z\) and \(y\) may differ, the response text being evaluated is identical on both sides. The incremental text spans contributed by response tokens satisfy:

\[ \bigoplus_{t=1}^{n} \tau_\theta(y_t) \;=\; \bigoplus_{i=1}^{m} \tau_\phi(z_i) \;=\; s. \]

1.2 Cross-Tokenizer Alignment

Define the cumulative response text preceding each student and teacher token as

\[ P_\theta(t) = \bigoplus_{k=1}^{t-1} \tau_\theta(y_k), \qquad P_\phi(i) = \bigoplus_{k=1}^{i-1} \tau_\phi(z_k), \]

A teacher position \(i\) is aligned with a student position \(t\) if both tokenizations have consumed the same response prefix and the current tokens contribute the same text span:

\[ \mathcal{M} = \big\{\,(i,t) : P_\phi(i) = P_\theta(t) \;\wedge\; \tau_\phi(z_i) = \tau_\theta(y_t)\,\big\}. \]

Equivalently, an aligned teacher–student pair covers the same start and end offsets in the shared response string \(s\). Tokens that overlap only partially are not aligned — the log-probability of one teacher token cannot be uniquely assigned to multiple student tokens, nor can the log-probabilities of multiple teacher tokens be merged into one student token.

1.3 Aligned Teacher Log-Probabilities

For each student position \(t\), define the alignment indicator

\[ a_t = \mathbf{1}\big[\exists\, i \text{ such that } (i,t) \in \mathcal{M}\big]. \]

Let \(\log\pi_\theta\) and \(\log\pi_\phi\) be the log-probabilities of the student and teacher policies. We construct a student-length teacher target:

\[ \widetilde{\ell}_t^{\phi} = \begin{cases} \log \pi_{\phi}\big(z_{i} \mid c_{\phi},\, z_{<i}\big), & a_t = 1,\\[2pt] \log \pi_\theta\big(y_t \mid c_{\theta},\, y_{<t}\big), & a_t = 0. \end{cases} \]

Thus aligned positions inherit the teacher log-probability, while unmatched positions fall back to the student's own log-probability. We report the lexical overlap ratio

\[ \rho = \frac{|\mathcal{M}|}{n}, \]

which measures the fraction of student response tokens that receive teacher supervision. The complete alignment procedure is shown in Algorithm 1.

Algorithm 1 Cross-Tokenizer On-Policy Distillation
  1. Input: student \(\theta\), teacher \(\phi\), dataset \(\mathcal{D}\)
  2. for each rollout iteration do
  3. for each prompt \(\mathbf{x} \sim \mathcal{D}\) do
  4. \(c_\theta \leftarrow \mathcal{C}_\theta(\mathbf{x})\) ▷ student context
  5. \(y_{1:n} \sim \pi_{\theta_{\mathrm{roll}}}(\cdot \mid c_\theta)\) ▷ sample response
  6. \(s \leftarrow \mathrm{decode}(y_{1:n})\) ▷ response surface string
  7. \(u_\phi \leftarrow \mathcal{C}_\phi(\mathbf{x}) \oplus s\) ▷ teacher context + response
  8. \(z_{1:m} \leftarrow \mathrm{encode}_\phi(u_\phi)\) ▷ teacher tokenization
  9. compute \(P_\theta(t)\), \(P_\phi(i)\) ▷ cumulative spans
  10. \(\mathcal{M} \leftarrow \{(i,t) : P_\phi(i){=}P_\theta(t) \wedge \tau_\phi(z_i){=}\tau_\theta(y_t)\}\)
  11. \(\widetilde{\ell}_t^{\phi} \leftarrow \text{cases of Eq.~1.3}\) ▷ aligned teacher targets
  12. end for
  13. update \(\theta\) with clipped PPO objective + student-reference KL
  14. end for

1.4 On-Policy Distillation Objective

The cross-tokenizer distillation objective is defined over aligned response positions:

\[ \mathcal{L}_{\mathrm{Distill}}(\theta) = \mathbb{E}_{y \sim \pi_\theta}\left[ \sum_{t=1}^{n} \log \pi_\theta(y_t \mid c_\theta, y_{<t}) - \widetilde{\ell}_t^{\phi} \right]. \]

This objective is a token-aligned surrogate for the reverse KL divergence. It compares teacher and student probabilities only at positions where the two tokenizers induce the same local segmentation of the response string. When the tokenizers are identical, every student token is aligned and the objective reduces to

\[ \mathcal{L}_{\mathrm{Distill}}(\theta) = \mathbb{E}_{y \sim \pi_\theta}\left[\log \frac{\pi_\theta(y \mid c_\theta)}{\pi_\phi(y \mid c_\phi)}\right] = D_{\mathrm{KL}}\big(\pi_\theta(\cdot \mid c_\theta) \parallel \pi_\phi(\cdot \mid c_\phi)\big). \]

When the tokenizers differ, the same response string is factorized into different token sequences, so the exact token-level KL is not directly computable. To enable multiple policy updates on the same rollout batch, we substitute the online log-probability with its pre-update counterpart for unmatched positions and use fixed policy advantages with the PPO clipped loss:

\[ \widehat{A}_t = \widetilde{\ell}_t^{\phi} - \log \pi_{\theta_{\mathrm{old}}}(y_t \mid c_\theta, y_{<t}), \qquad r_t = \frac{\pi_\theta(y_t \mid c_\theta, y_{<t})}{\pi_{\theta_{\mathrm{old}}}(y_t \mid c_\theta, y_{<t})}. \]

The resulting objective is

\[ \mathcal{L}_\theta = -\mathbb{E}\left[ \sum_{t=1}^{n} \min\Big( r_t \widehat{A}_t,\; \mathrm{clip}(r_t, 1-\epsilon, 1+\epsilon)\, \widehat{A}_t \Big) \right]. \]

1.5 Training Stabilization

Naive OPD makes students verbose and truncation-prone. Two simple fixes keep training steady:

Special-Token Masking

Mask the OPD loss on structural tokens </think> and <|im_end|> — they control format and termination and need not match the teacher exactly.

Student Reference KL

Add a reference-KL term (\(k_{\mathrm{KL}} \in \{0.5, 1.5\}\)) to prevent the student policy from deviating excessively from its initial distribution, preserving general capabilities.

Experimental Setting

Teacher, Students & Data

🎓

Teacher: SU-01

An IMO gold-medal-level mathematical reasoning model developed by our team, providing token-level supervision for on-policy distillation of its proof-generation capability.

  • IMO gold-medal level
  • Long-context
  • Math proving
🧑‍🎓

Students

Same-vocabulary and cross-tokenizer settings, spanning architectures and tokenizer designs:

  • Qwen3-4B same-family
  • Qwen3-30B-A3B same-family
  • Qwen3.5-4B cross-tokenizer
  • Qwen3.5-35B-A3B cross-tokenizer
  • Intern-S2-Preview cross-tokenizer
  • GLM-4.7-Flash cross-tokenizer
  • Gemma-4-26B-A4B cross-tokenizer
📚

Training Data — Mathematical Proof Problems

0 OPC problems Open Proof Corpus
0 AoPS problems Art of Problem Solving
0 Books problems Competition training books
0 Shuzhimi problems Chinese math forum + Evan Chen's olympiad materials
⚙️

Implementation Details

FrameworkSlime (OPD) · SGLang (eval)
Rollout iterations100
Learning rate1e-6
Rollout batch size64
Samples / prompt4
Max sequence length32K tokens
Clipping coefficient0.2
Distill coefficient1.0
Policy updates / step4
KL coefficient0.5 (Qwen/Intern) · 1.5 (GLM)

Evaluation. ProofBench (non-verifiable, DeepSeek-V4-Flash judge, 4 rollouts averaged) plus AnswerBench & AIME25 (verifiable; rule-based verifier first, GPT-OSS-120B fallback, 8 rollouts averaged). Temperature 1.0 · top-p 0.95 · repetition penalty 1.0 · max response length 160K tokens. Best checkpoint selected on average of AIME@4 and AnswerBench@1.

Results

Results & Analysis

From instability to steady gains — how masking and reference-KL stabilize cross-tokenizer OPD, and what it achieves on proof and science benchmarks.

3.1 Training Instability in On-Policy Distillation

During OPD training, Intern-S2-Preview shows modest gains but clear signs of degeneration: the truncation rate and repetition rate rise substantially while the average response length grows sharply. The effect is even more pronounced for Qwen3.5-35B-A3B, whose task performance deteriorates with a persistently high truncation rate. Apparent performance gains can come at the cost of increasingly verbose and unstable generation behavior.

Training dynamics of Intern-S2-Preview during naive OPD
Fig. 1 Training dynamics of Intern-S2-Preview: rising truncation, repetition, and response length indicate increasingly unstable generation.
Training dynamics of Qwen3.5-35B-A3B during naive OPD
Fig. 2 Training dynamics of Qwen3.5-35B-A3B: rising truncation and length accompanied by degraded task performance.

3.1.2 Special-Token Masking

Many generated responses fail to emit termination tokens such as </think>, suggesting the student is strongly affected by the teacher's long outputs and gradually loses the ability to terminate properly. We therefore mask the OPD loss on structural tokens </think> and <|im_end|> — these control the output format and termination behavior and need not match the teacher distribution exactly.

Effect of special-token masking on training stability
Fig. 3 Masking alone mitigates length-related instability but cannot resolve the length-expansion problem: truncation keeps rising in the later stage.

Effect of special-token masking

ModelProofbench@4AnswerBench@8AIME25@8
SU-01 teacher45.0077.5094.60
Intern-S2-Preview base21.7076.0388.33
OPD + Spec Mask38.1077.6095.00

Masking improves training stability, but alone neither solves length expansion nor improves OPD performance.

3.1.3 Student Reference KL Loss

We introduce a student reference KL loss (\(k_{\mathrm{KL}}=0.5\)) to prevent the student policy from deviating excessively from its initial distribution, preserving general capabilities during distillation. The truncation rate is effectively reduced to nearly zero, while AIME25 and AnswerBench improve consistently.

Effect of student reference KL loss on training stability
Fig. 4 Adding the student reference KL loss stabilizes training; truncation is effectively eliminated while AIME25 and AnswerBench improve.

Effect of reference KL loss

ModelProofbench@4AnswerBench@8AIME25@8
SU-01 teacher45.0077.5094.60
Intern-S2-Preview base21.7076.0388.33
OPD + Ref KL38.5079.1095.80

OPD + Ref KL: ProofBench@4 21.70 → 38.50; AnswerBench@8 76.03 → 79.10; AIME25@8 88.33 → 95.80.

3.2 Main Results

Combining special-token masking with the student reference KL loss achieves the strongest results (\(k_{\mathrm{KL}}=0.5\) for Qwen-series and Intern-S2-Preview; \(1.5\) for GLM-4.7-Flash).

Main results across student families

ModelProofbench@4ΔAnswerBench@8ΔAIME25@8ΔAMOBench@8Δ
SU-01 teacher45.0077.5094.6061.75
Qwen3-4B base11.4247.5071.2523.00
Qwen3-4B-OPD23.72+12.3064.50+17.0090.83+19.5835.00+12.00
Qwen3-30B-A3B base13.8059.1388.3336.50
Qwen3-30B-A3B-OPD36.47+22.6774.46+15.3393.75+5.4252.75+16.25
Qwen3.5-4B base15.9060.9486.6732.00
Qwen3.5-4B-OPD28.61+12.7167.84+6.9091.67+5.0051.25+19.25
Qwen3.5-35B-A3B base26.7873.1694.6057.25
Qwen3.5-35B-OPD42.39+15.6180.15+6.9996.66+2.0661.25+4.00
GLM-4.7-Flash base30.7569.5992.08
GLM-4.7-Flash-OPD37.08+6.3372.78+3.1993.75+1.67
Intern-S2-Preview base21.7076.0388.3358.00
Intern-S2-OPD44.50+22.8080.10+4.0795.00+6.6759.50+1.50

Consistent gains across every student family — same-vocabulary and cross-tokenizer alike. AMOBench (Australian Mathematical Olympiad) further validates the reasoning transfer.

We also evaluate ProofBench using Gemini-2.5-Pro as the judge, following the same evaluation setting as SU-01. Intern-S2-OPD improves from 34.0 to 55.2 — a +21.2 point gain — surpassing Gemini-2.5-Pro and GPT-5, and significantly narrowing the gap to SU-01 and DeepSeek-V3.2-Speciale.

ProofBench comparison with Gemini-2.5-Pro as judge
Fig. 5 ProofBench (Gemini-2.5-Pro judge): Intern-S2-OPD reaches 55.2 — a +21.2 point gain that surpasses Gemini-2.5-Pro and GPT-5 while significantly narrowing the gap to SU-01 and DeepSeek-V3.2-Speciale.
Deeper Analysis

Why It Works

3.3.1 Lexical Overlap

Lexical overlap curves across models during OPD training
Fig. 6 Lexical-overlap curves during OPD training: all models start with a high aligned-token ratio that increases further over time — a large portion of student text is matchable to teacher tokens via shared surface spans.

Despite tokenizer differences, a large portion of student-generated text can be matched to teacher tokens through shared surface spans. Partial alignment in cross-tokenizer OPD therefore preserves a substantial amount of usable training signal — without requiring full tokenizer compatibility.

3.3.2 Out-of-Domain Generalization

ModelFrontierScience OlympiadHLE (text-only)HiPhOFrontierScience Research
SU-01 teacher61.520.735.011.7
Intern-S2-Preview base60.619.638.61.7
Intern-S2-OPD60.920.541.15.0

Trained only on math proof data, Intern-S2-OPD keeps its broad scientific reasoning — and even surpasses SU-01 on HiPhO (38.6 → 41.1), suggesting OPD may further benefit physics-oriented reasoning.

3.3.3 Effect of Training Data

ModelProofbench@4AnswerBench@8AIME25@8
SU-01 teacher45.0077.5094.60
Intern-S2-Preview base21.7076.0388.33
OPD proof + verifiable data38.5081.1095.00
OPD proof data44.5080.1095.00

Proof-focused data is the better transfer medium: 44.50 on ProofBench@4, approaching the teacher SU-01. Adding verifiable math data only marginally helps AnswerBench@8 (80.10 → 81.10) while weakening proof transfer (44.50 → 38.50).

3.3.4 Effect of OPD Length

ModelLengthProofbench@4AnswerBench@8AIME25@8
SU-01 teacher45.0077.5094.60
Qwen3.5-35B-A3B6k40.0777.9796.25
Qwen3.5-35B-A3B32k42.3980.1696.67

For long-context proof reasoning, 6k is insufficient to capture the teacher's reasoning patterns. Extending distillation length from 6k → 32k improves all benchmarks, most strongly on ProofBench — longer reasoning traces better approximate the teacher's long-context capability.

3.3.5 KL Loss on GLM-4.7-Flash

With \(k_{\mathrm{KL}} = 1.0\), GLM reaches 100% truncation after only 40 steps — a stronger reference-KL coefficient is needed when teacher and student differ more substantially.

ModelStudent KL Coef.Proofbench@4AnswerBench@8AIME25@8
SU-01 teacher45.0077.5094.60
GLM-4.7-Flash base30.7569.5992.08
GLM-4.7-Flash-OPD1.537.0872.7893.75
GLM-4.7-Flash-OPD2.036.9972.7593.80

A stronger student KL coefficient controls truncation for GLM-4.7-Flash while still allowing effective transfer. But too large a coefficient (2.0) overly constrains the policy and limits further gains.

Conclusion

Summary

We studied on-policy distillation from a long-context reasoning model (SU-01) to short-context student models. To handle tokenizer differences, we performed OPD in a shared text space and aligned only tokens occupying identical text spans under the student and teacher tokenizers. Naive distillation led to severe training instability — output length kept increasing, termination tokens were often missing, and many responses were truncated. We introduced two simple but effective stabilization techniques:

  • masking the OPD loss on structural termination tokens (</think>, <|im_end|>)
  • adding a reference KL loss to constrain the student policy

These techniques substantially reduced length explosion and truncation while improving reasoning performance. Experiments across same-family and different-family student models showed consistent gains, with Intern-S2-Preview achieving a 21.2-point improvement on ProofBench — an effective and generalizable way to transfer long-context reasoning capabilities to short-context models across different tokenizers and model families.

BibTeX

Citation

simpleopd.bib
@online{SU-01-OPD-2026,
  title  = {SimpleOPD: Simple Tokenizer-Agnostic On-Policy Distillation
            for Long-Context Reasoning},
  author = {SU-01 Team},
  year   = {2026},
  month  = {July},
  url    = {https://relic-care-6c0.notion.site/SimpleOPD-Simple-Tokenizer-Agnostic-On-Policy-Distillation-for-Long-Context-Reasoning-38ec37a600c080919c4bd481ee8305ff}
}

We will release the code and the arXiv version soon.