inference-efficiency · 2026-07-23 · Tier 1

SLPO: Scaling Latent Reasoning via a Surrogate Policy

SLPO: Scaling Latent Reasoning via a Surrogate Policy

TL;DR. Chain-of-Thought reasoning scales at test time by decoding every intermediate step as text tokens, which is expensive. Latent reasoning carries the intermediate computation as continuous vectors and matches CoT at far shorter horizons, but it was stuck at imitation learning because latent trajectories have no tractable per-step likelihood and no way to decide when to stop. SLPO brings outcome-reward RL to latent reasoners with two pieces: an empirical surrogate density over latent transitions for credit assignment, and a correctness-supervised stopping head that RL refines into a variable-length policy.

flowchart LR
    Q[Query] --> LAT[Latent reasoning<br/>continuous vectors]
    LAT --> SUR[Surrogate policy density<br/>over transitions]
    SUR --> CRED[Trajectory-level<br/>credit assignment]
    CRED --> STOP{Stopping head<br/>correctness-supervised}
    STOP -->|easy| SHORT[Few latent steps]
    STOP -->|hard| LONG[More latent steps]
    SHORT --> OUT[Higher Pass@k<br/>adaptive compute]
    LONG --> OUT
    classDef input fill:#dbeafe,stroke:#3b82f6,color:#1e3a8a
    classDef aux fill:#e0e7ff,stroke:#6366f1,color:#312e81
    classDef decision fill:#fef3c7,stroke:#f59e0b,color:#78350f
    classDef output fill:#d1fae5,stroke:#10b981,color:#065f46
    class Q input
    class LAT,SUR,CRED aux
    class STOP decision
    class SHORT,LONG aux
    class OUT output

What it is

RL with verifiable rewards is the standard recipe for eliciting test-time scaling in explicit Chain-of-Thought reasoners, but every intermediate step must be decoded as a language token, which is costly. Latent reasoning keeps intermediate computation as continuous vectors and already matches or surpasses explicit CoT at much shorter horizons. The problem: latent reasoners stayed imitation-bound because latent trajectories lack a tractable per-step likelihood (so you cannot do policy-gradient credit assignment) and lack an adaptive stopping interface under a fixed thinking budget (so outcome rewards cannot elicit latent test-time scaling). Surrogate Latent Policy Optimization (SLPO) supplies both: an empirical surrogate policy density over latent transitions for trajectory-level credit assignment, and a correctness-supervised stopping head that outcome-reward optimization refines into a variable-horizon policy.

Key findings

  • Brings outcome-reward RL to autoregressive latent reasoners for the first time (past pure imitation).
  • Improves Pass@k under parallel sampling across continuous and soft thinking settings.
  • Allocates longer latent computation to harder instances, with higher deterministic accuracy, an adaptive test-time-compute allocation.

Why it matters (relation to prior wiki)

SLPO is a test-time-compute efficiency paper: it moves the reasoning trace out of the token stream and into latent space, then makes that space RL-trainable. That is directly Tier-1-relevant because latent reasoning cuts decode cost, the dominant inference expense for long CoT. It complements the July RLVR-optimizer cluster (ISO, RIPO, Predictive Divergence Masks): those improve the optimizer for token-space policies, SLPO changes the representation the policy operates on. The variable-horizon stopping head is a learned version of the "spend compute where it is needed" principle the wiki has tracked since adaptive test-time-scaling work. See rl-for-llms.

Gaps. The surrogate density is empirical, so its bias versus a true latent likelihood is a risk; results are Pass@k on reasoning tasks without wall-clock or memory numbers, so the actual efficiency win over token CoT is asserted, not measured here.