Summary (Overview)

  • Key Contribution: This paper reframes agentic reinforcement learning (RL) data scaling from a scalar abstraction (token count) to a structured design space with three cardinality axes—task, environment, and trajectory—plus a reward-density control variable. The authors fit per-axis scaling laws and derive a compute-optimal allocation recipe.

  • Central Finding: Across 21 settings (model sizes, families, domains, RL algorithms), the scaling exponents robustly order as environment > task > trajectory (e.g., αE=0.41\alpha_E = 0.41, αT=0.26\alpha_T = 0.26, ατ=0.11\alpha_\tau = 0.11 on Qwen3-8B math+code). When environment diversity is decomposed, world diversity (αW=0.44\alpha_W = 0.44) drives the advantage, while environment-structure diversity (αV=0.28\alpha_V = 0.28) is comparable to task diversity.

  • Synthesis Pricing: Using fitted laws as a common ruler, the paper measures synthesis method efficiency via a per-axis discount factor κ∈[0,1]\kappa \in [0,1] and identifies critical synthetic-to-real collapse ratios that differ by an order of magnitude: rE⋆≈9.4≫rT⋆≈3.4≫rτ⋆≈1.4r_E^\star \approx 9.4 \gg r_T^\star \approx 3.4 \gg r_\tau^\star \approx 1.4.

  • Compute-Optimal Recipe: Solving budget allocation as constrained optimization yields the scaling laws DE⋆∝C0.34D_E^\star \propto C^{0.34}, DT⋆∝C0.27D_T^\star \propto C^{0.27}, Dτ⋆∝C0.13D_\tau^\star \propto C^{0.13}, N⋆∝C0.26N^\star \propto C^{0.26}, validated at held-out scale with up to 1.7× compute efficiency over the dominant "scale-the-trajectories" practice.


Introduction and Theoretical Foundation

Background and Motivation

Pretraining scaling laws (Chinchilla [16], Kaplan et al. [19]) treat training data as a one-dimensional quantity—token count. Recent agentic RL works (DeepSeek-R1 [13], ScaleRL [20], Mai et al. [30]) inherited this scalar abstraction, plotting performance against rollout tokens or prompt counts as if interchangeable.

However, agentic data is fundamentally different: a single "data point" simultaneously encodes a task specification, an environment (API surface, dynamics), a trajectory of actions and tool feedback, and a reward signal—each generated by different pipelines at different costs. Modern synthesis pipelines make data effectively unbounded, shifting the central question from "how much data to collect" to "where to spend the synthesis budget."

The paper demonstrates this concretely: two GRPO runs on Qwen3-8B with identical total tokens and FLOPs, differing only in budget allocation across axes, reach success rates differing by 14 percentage points. A single-axis power law cannot fit both.

Theoretical Foundation

The authors define the training corpus as:

D=(ST,SE,{(ti,ei,τi)}i=1n,ρ)\mathcal{D} = \left( \mathcal{S}_T, \mathcal{S}_E, \{(t_i, e_i, \tau_i)\}_{i=1}^n, \rho \right)

where ST\mathcal{S}_T is the set of training tasks, SE\mathcal{S}_E is the set of environment instances, each trajectory τi\tau_i is paired with a task-environment pair (ti,ei)(t_i, e_i), and ρ\rho is the reward function.

The data tensor induces three cardinality axes and one control variable:

  1. Task axis DTD_T: number of unique task specifications (deduplicated by sentence-embedding cosine distance > 0.15)
  2. Environment axis DED_E: number of distinct environment instances (identified by canonical hash over tool/API surface, state schema, transition semantics, verifier interface)
  3. Trajectory axis DτD_\tau: average rollouts per covered task-environment cell, Dτ=1∣Ω∣∑(t,e)∈Ωnt,eD_\tau = \frac{1}{|\Omega|} \sum_{(t,e) \in \Omega} n_{t,e}
  4. Reward control DRD_R: categorical sparse/dense control (dense provides ≥3 verifiable intermediate signals per trajectory)

The paper proposes an additive power-law functional form:

L(DT,DE,Dτ)−L∞=A⋅DT−αT+B⋅DE−αE+C⋅Dτ−ατ+I(DT,DE,Dτ)(1)L(D_T, D_E, D_\tau) - L_\infty = A \cdot D_T^{-\alpha_T} + B \cdot D_E^{-\alpha_E} + C \cdot D_\tau^{-\alpha_\tau} + I(D_T, D_E, D_\tau) \tag{1}

where L∞L_\infty is the irreducible loss and II captures cross-axis interactions. Since RL with verifiable rewards has no smooth loss, they use L≡−log⁡psuccessL \equiv -\log p_{\text{success}} following [20, 47].


Methodology

Experimental Testbeds

Five domains stress-test domain invariance:

DomainTrainingEvaluation
Math+Code (TIR)Synthetic math problems (ZeroTIR recipe)AIME24/25, MATH500, AMC23
Code agents (SWE)SWE-Gym-style environmentsSWE-bench Verified
Web agentsWebArena-Lite + BrowserGymTask-held-out
UI/Tool agentsAppWorld, ALFWorldWorld-held-out
Search agents (robustness)Wikipedia retrieval + web-search APIBamboogle, multi-hop split

Models and Training

  • Size sweep: Qwen3-4B/8B/14B (Qwen3-8B default)
  • Model families: Llama-3.1-8B, Qwen2.5-7B
  • RL algorithms: GRPO (group size 8, no critic) and PPO (separate critic)
  • Framework: verl with VerlTool for multi-tool rollout
  • All results are means over 3 seeds with bootstrap 95% CIs

Per-Axis Scaling Protocol

For each axis, the other two are held at calibration-sweep values (DE,DT,Dτ)=(256,10240,8)(D_E, D_T, D_\tau) = (256, 10240, 8), sweeping the target axis over 6–8 nested grid points spanning 32×. Fits use L=KD−α+L∞L = KD^{-\alpha} + L_\infty via nonlinear weighted least squares, profiling L∞L_\infty over a grid and solving the inner log-linear problem in closed form.

Environment Diversity Decomposition

LevelWhat variesExampleExponent
L0: contentseed/initial state within same repositorynew AIME problem0.07±0.020.07 \pm 0.02 (placebo)
L1: structuretool/API surface, state schema, semanticsstateless vs. persistent REPLαV=0.28±0.03\alpha_V = 0.28 \pm 0.03
L2: world (DWD_W)repository, corpus, app, siteunseen repositoryαW=0.44±0.04\alpha_W = 0.44 \pm 0.04

Synthesis Pricing Framework

The paper posits:

L(Dr,Ds)=f(Dr+κ(r)⋅Ds),r≡Ds/Dr(3)L(D_r, D_s) = f\left(D_r + \kappa(r) \cdot D_s\right), \quad r \equiv D_s / D_r \tag{3}

where ff is the fitted single-axis law and κ(r)∈[0,1]\kappa(r) \in [0,1] is the real-data-equivalent yield. For each method, total D=Dr+DsD = D_r + D_s is held constant while sweeping r∈{0,0.25,1,4,16}r \in \{0, 0.25, 1, 4, 16\}. The critical collapse ratio r⋆r^\star is defined as the ratio at which normalized success falls 5% below the real-only baseline.

Compute-Optimal Optimization

The cost model is linear and axis-additive:

Φcompute(N,DE,DT,Dτ)=cEκEDE+cTκTDT+cτκτDτ+cNN(5)\Phi_{\text{compute}}(N, D_E, D_T, D_\tau) = \frac{c_E}{\kappa_E} D_E + \frac{c_T}{\kappa_T} D_T + \frac{c_\tau}{\kappa_\tau} D_\tau + c_N N \tag{5}

The constrained optimization becomes:

min⁡N,DE,DT,DτKEDE−αE+KTDT−αT+KτDτ−ατ+KNN−αN+L∞s.t.Φcompute≤C(6)\min_{N, D_E, D_T, D_\tau} K_E D_E^{-\alpha_E} + K_T D_T^{-\alpha_T} + K_\tau D_\tau^{-\alpha_\tau} + K_N N^{-\alpha_N} + L_\infty \quad \text{s.t.} \quad \Phi_{\text{compute}} \leq C \tag{6}

KKT conditions yield per-variable scaling:

Di⋆∝(κiαiKici)1αi+1⋅λ−1αi+1(7)D_i^\star \propto \left(\frac{\kappa_i \alpha_i K_i}{c_i}\right)^{\frac{1}{\alpha_i + 1}} \cdot \lambda^{-\frac{1}{\alpha_i + 1}} \tag{7}

Empirical Validation / Results

Per-Axis Scaling Exponents

The fitted exponents (Qwen3-8B, math+code):

αE=0.41±0.03,αT=0.26±0.02,ατ=0.11±0.02(2)\alpha_E = 0.41 \pm 0.03, \quad \alpha_T = 0.26 \pm 0.02, \quad \alpha_\tau = 0.11 \pm 0.02 \tag{2}

The ordering αE>αT>ατ\alpha_E > \alpha_T > \alpha_\tau holds with non-overlapping 95% CIs at every model size, across all 18 (model×algo×domain) cells, and in all 21 settings including Llama-3.1-8B (0.36, 0.23, 0.09), Qwen2.5-7B (0.38, 0.24, 0.10), and the search domain (0.42, 0.25, 0.12). Paired bootstrap differences: αE−αT=0.148\alpha_E - \alpha_T = 0.148 [0.109, 0.187], αT−ατ=0.150\alpha_T - \alpha_\tau = 0.150 [0.116, 0.184].

Fitted Exponents Across Settings (Table 2 excerpt)

ModelAlgo.DomainαE\alpha_EαT\alpha_Tατ\alpha_\tau
Qwen3-4BGRPOMath+Code†0.38 ± 0.040.23 ± 0.030.10 ± 0.02
Qwen3-4BGRPOSWE0.36 ± 0.050.21 ± 0.040.09 ± 0.03
Qwen3-8BGRPOMath+Code†0.41 ± 0.030.26 ± 0.020.11 ± 0.02
Qwen3-8BGRPOUI/Tool0.45 ± 0.030.27 ± 0.020.13 ± 0.02
Qwen3-14BGRPOMath+Code†0.43 ± 0.030.27 ± 0.020.12 ± 0.02

†No separable world axis: α is a structure exponent.

Cross-Axis Interactions

At low DED_E, scaling DTD_T yields almost no gain. A multiplicative correction I=−γ⋅(DEDT)−βI = -\gamma \cdot (D_E D_T)^{-\beta} improves R2R^2 from 0.93 to 0.98 (γ=0.18\gamma = 0.18, β=0.21\beta = 0.21). Key finding: environment diversity gates the value of task diversity.

Synthesis Pricing Results (Table 3 excerpt)

MethodPrimary axis\kappa@r=1\kappa@r=1r⋆r^\starCost/unit
AWMDED_E0.71 ± 0.059.4 ± 0.94.10 USD/env
GenEnvDED_E0.66 ± 0.068.1 ± 1.03.80 USD/env
AutoPlayDTD_T0.54 ± 0.043.1 ± 0.40.18 USD/task
SCADTD_T0.51 ± 0.052.8 ± 0.40.21 USD/task
SWiRLDτD_\tau0.34 ± 0.061.4 ± 0.30.02 USD/traj
TDScalingDτD_\tau0.42 ± 0.051.7 ± 0.30.02 USD/traj

Axis membership explains 97% of κ variance (ANOVA F(2,5)=76.6F(2,5) = 76.6, p<0.001p < 0.001).

Compute-Optimal Recipe

The fitted recipe:

DE⋆∝C0.34,DT⋆∝C0.27,Dτ⋆∝C0.13,N⋆∝C0.26(8)D_E^\star \propto C^{0.34}, \quad D_T^\star \propto C^{0.27}, \quad D_\tau^\star \propto C^{0.13}, \quad N^\star \propto C^{0.26} \tag{8}

Exponents sum to ≈1.00. The combined data exponent (0.74) exceeds Chinchilla's 0.5, with model size correspondingly smaller (0.26 vs. 0.5), indicating agentic RL benefits more from data variety than raw model scale.

Held-Out Validation

At Ctest=32C0C_{\text{test}} = 32C_0 on Qwen3-14B (held out in both compute and model size):

  • Predicted: 51.7% ± 1.6%
  • Measured: 51.3% ± 1.4% (within prediction interval)
  • Naive recipe: 42.9% ± 1.3%
  • Chinchilla-transferred: 47.3% ± 1.5%

The recipe achieves 1.4×–1.7× compute efficiency over baselines. The recipe is robust: exponents shift < ±0.04 on SWE/web data, < 0.05 under ±50% cost perturbations.


Theoretical and Practical Implications

Theoretical Implications

  1. Reframing scaling laws: The paper demonstrates that the scalar abstraction of data scaling is insufficient for agentic RL. The data axis must be decomposed into structured design dimensions, each with its own scaling exponent and synthesis discount.

  2. Mechanistic explanation via groundedness: The collapse ratio ordering aligns with how strongly each axis is grounded by external truth—environments are checked by interpreters at every step, tasks only by verifiable rewards, trajectories only by the model's own distribution (the agentic analog of recursive collapse in pretraining [9, 41, 46]).

  3. Prerequisite structure: Environment diversity gates the value of task diversity—a structural finding that explains why task-only synthesis pipelines saturate early.

Practical Implications

  1. Allocation over quantity: The central practical claim is that trajectory resampling ranks last in both regimes (synthesis and world acquisition). Pipelines should shift budget toward environment and task diversity.

  2. Cost-aware decision making: The paper provides a framework for pricing synthesis methods on a common scale, enabling practitioners to compute whether purchasing new worlds (α_W steepest) or synthesizing tasks (23× cheaper per unit) is the better investment.

  3. Regime-dependent caveats: The environment axis loses its top rank when fully loaded cost per environment exceeds ~3.4× the measured maximum (11.8 USD-equivalent on SWE). Under SWE coefficients, environment and task exponents become indistinguishable (0.28 vs. 0.29).


Conclusion

The paper argues that agentic RL data is not a scalar but a structured design space whose axes carry distinct scaling exponents and synthesis discounts. The three tightly coupled contributions—per-axis decomposition, synthesis pricing via discount factors, and compute-optimal allocation—together reframe the central question from "how much data to collect" to "where to spend the synthesis budget."

Key takeaways:

  1. The exponent ordering αE>αT>ατ\alpha_E > \alpha_T > \alpha_\tau is robust across models, algorithms, domains, and families
  2. Synthesis collapse ratios differ by an order of magnitude across axes, mirroring the exponent ordering
  3. The validated compute-optimal recipe achieves up to 1.7× compute efficiency over dominant practice

Future directions:

  • (i) Extending the law with a continuous, fully orthogonal treatment of the reward axis and richer interaction terms
  • (ii) Verifying the recipe at frontier model scale
  • (iii) Coupling axis-level decomposition with curriculum methods that schedule within an axis

Related papers