pith. sign in

arxiv: 2605.29568 · v1 · pith:V72V276Znew · submitted 2026-05-28 · 💻 cs.AI

DeepTool: Scaling Interleaved Deliberation in Tool-Integrated Reasoning via Process-Supervised Reinforcement Learning

Pith reviewed 2026-06-29 07:48 UTC · model grok-4.3

classification 💻 cs.AI
keywords Tool-Integrated ReasoningProcess-Supervised Reinforcement LearningInterleaved DeliberationAction-Centric Process RewardLLM Tool UseMathematical Reasoning BenchmarksTrajectory Synthesis
0
0 comments X

The pith

DeepTool scales interleaved deliberation in tool-integrated reasoning via process-supervised reinforcement learning.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper claims that existing tool-integrated reasoning in LLMs lacks sufficient deliberation during sequential tool calls for planning and self-correction, and that sparse outcome rewards in RL fail to supervise the intermediate steps. It introduces a synthesis pipeline to generate robust interleaved trajectories of thinking, action, and observation with adversarial perturbations, paired with GRPO-based process-supervised RL that applies an action-centric process reward for dense supervision at every turn. This produces large gains on math benchmarks for a 7B model. A reader would care if true because it shows a concrete way to move from final-answer supervision to step-by-step control of both reasoning and tool use.

Core claim

DeepTool evolves extended thinking into interleaved trajectories via a synthesis pipeline with adversarial perturbations for robustness, then applies process-supervised RL based on GRPO with an action-centric process reward that reinforces intermediate thinking and precise tool invocation at each turn, yielding accuracy jumps such as AIME24 from 3.2 percent to 40.4 percent and HMMT25 from 0.0 percent to 28.6 percent on Qwen2.5-7B while maintaining token efficiency.

What carries the argument

The action-centric process reward inside GRPO-based process-supervised reinforcement learning, which supplies dense signals for every interleaved thinking step and tool call rather than only final outcomes.

If this is right

  • LLMs gain strategic planning and self-correction during tool sequences rather than relying on final-answer feedback alone.
  • The same 7B base model reaches substantially higher accuracy on hard math benchmarks that require multiple tool calls.
  • Interleaved thinking improves the performance-to-token ratio compared with methods that lack process-level supervision.
  • Adversarial perturbations during trajectory synthesis strengthen the model's ability to recover from errors in tool use.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same synthesis-plus-process-reward pattern could be applied to non-math domains that involve sequential tool use, such as code debugging or scientific simulation.
  • If the action-centric reward generalizes, future work could test whether it reduces the model size needed to reach a given tool-reasoning performance level.
  • The approach implies that reward design focused on intermediate actions may be more important than the choice of base RL algorithm for long-horizon tool tasks.

Load-bearing premise

The synthesis pipeline reliably produces robust interleaved trajectories and the action-centric process reward supplies effective dense supervision for intermediate steps without collapsing to sparse signals or adding unmeasured biases.

What would settle it

An ablation that replaces the action-centric process reward with standard outcome-only rewards and shows comparable or higher benchmark scores would indicate the dense supervision is not required.

Figures

Figures reproduced from arXiv: 2605.29568 by Bibo Cai, Bing Qin, Kai Xiong, Ting Liu, Xiao Ding, Yang He, Yufei Zhang, Zhouhao Sun.

Figure 1
Figure 1. Figure 1: The MOSAIC synthesis pipeline. A hierarchical Manager-Actor architecture is employed, utilizing a reasoning model as the Actor Policy ( ) to synthesize System 2 level delib￾eration ( ) based on strategic intents. The operator Φ stochas￾tically injects perturbations (with probability ρ) to create perturbed steps, fostering robust error recovery. adversarial perturbations to enforce robustness against execut… view at source ↗
Figure 2
Figure 2. Figure 2: Overview of the Process-Supervised Reinforcement Learning framework. The pipeline starts with Step-Wise Decomposi￾tion, factorizing trajectories based on ground-truth history (H∗ t−1) for dense supervision. Rollouts are evaluated via the Action-Centric Process Reward, enforcing action alignment (at vs a ∗ t ) while permitting diverse reasoning (tht), optimizing the policy using GRPO. jectory τ ∗ into discr… view at source ↗
Figure 3
Figure 3. Figure 3: Performance comparison between discarding and pre￾serving interleaved reasoning state. Orange labels indicate the relative improvement brought by state preservation. The results demonstrate that maintaining a continuous thinking state signifi￾cantly enhances reliability across all benchmarks. tently improves performance, with particularly clear benefits on competition-oriented benchmarks (e.g., AIME/AMC). … view at source ↗
Figure 5
Figure 5. Figure 5: Efficiency analysis of DeepTool. The y-axis reports the accuracy gain per 1,000 tokens relative to the non-thinking baseline (red star), computed by Eq. 12. Shaded areas visualize cumulative net accuracy gain (blue) or loss (red) relative to the baseline. Peak markers indicate the most cost-effective operating points. Budget-driven efficiency dynamics. Across benchmarks, the curves exhibit a consistent pat… view at source ↗
Figure 6
Figure 6. Figure 6: Full Reasoning Budget Scaling Analysis. This figure illustrates the complete data spectrum regarding the correlation between thinking budget scaling and performance accuracy across varying difficulty levels. 2000 4000 6000 8000 7.5 5.0 2.5 0.0 2.5 5.0 7.5 Acc. Gain per 1k Tokens AIME24 Peak 2000 4000 6000 8000 2 0 2 4 6 AIME25 Peak 1000 2000 3000 2 0 2 4 6 8 Math500 Peak 1000 2000 3000 4000 5000 6000 Avg. … view at source ↗
Figure 7
Figure 7. Figure 7: Comprehensive Efficiency Analysis. Detailed breakdown of computational overhead versus performance gains. This visualization provides the full context for the efficiency analysis, highlighting the trade-offs between token consumption and reasoning depth. 14 [PITH_FULL_IMAGE:figures/full_fig_p014_7.png] view at source ↗
read the original abstract

Tool-Integrated Reasoning (TIR) extends LLM capabilities by leveraging external environments. However, existing methods lack the deliberation during sequential tool invocation required for strategic planning and self-correction. While RL mitigates this, conventional approaches for Tool-Integrated Reasoning are hindered by sparse outcome-based rewards, failing to supervise intermediate reasoning steps and tool invocations. To address this, we propose DeepTool, a novel framework that scales deliberate thinking within the interleaved process of thinking, action, and observation at each turn. In DeepTool, we first introduce a synthesis pipeline that evolves extended thinking into interleaved trajectories, integrating adversarial perturbations to ensure robustness and self-correction. Secondly, we devise Process-Supervised Reinforcement Learning based on GRPO, which utilizes an Action-Centric Process Reward to reinforce intermediate interleaved thinking and enforce precise tool invocation at every turn. Extensive experiments demonstrate that DeepTool achieves superior performance, boosting Qwen2.5-7B significantly across six benchmarks (e.g., AIME24: 3.2% -> 40.4% and HMMT25: 0.0% -> 28.6%). Furthermore, the token cost-effectiveness analysis confirms the utility of interleaved thinking, demonstrating DeepTool's optimal balance between performance and token efficiency.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The paper proposes DeepTool, a framework for tool-integrated reasoning (TIR) that addresses sparse rewards in RL by (1) a synthesis pipeline converting extended thinking into interleaved thinking-action-observation trajectories with adversarial perturbations, and (2) GRPO-based process-supervised RL using an Action-Centric Process Reward to supervise intermediate steps and tool calls. It reports large gains on six benchmarks, e.g., lifting Qwen2.5-7B from 3.2% to 40.4% on AIME24 and 0% to 28.6% on HMMT25, plus a token-efficiency analysis.

Significance. If the Action-Centric Process Reward can be shown to supply genuine dense, non-circular supervision independent of terminal outcomes, the work would be significant for scaling deliberate, self-correcting TIR; the emphasis on interleaved trajectories and token cost-effectiveness would also be a useful contribution to efficiency-aware reasoning research.

major comments (2)
  1. [Abstract] Abstract: the headline performance claims (AIME24 3.2%→40.4%, HMMT25 0%→28.6%) are presented without any mention of baselines, statistical tests, data splits, or implementation details, so it is impossible to determine whether the gains can be attributed to the proposed synthesis pipeline or Action-Centric Process Reward.
  2. [Abstract] Abstract (and implied §3–4): the Action-Centric Process Reward is asserted to provide dense supervision for intermediate thinking and tool invocations, yet no equations, weighting scheme, or ablation are supplied; without these it remains possible that the reward still depends on final outcomes or fitted scalars, reducing to the sparse signal the method claims to overcome.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive feedback on the abstract and the Action-Centric Process Reward. We address each point below and will revise the manuscript accordingly to improve clarity while preserving the core contributions.

read point-by-point responses
  1. Referee: [Abstract] Abstract: the headline performance claims (AIME24 3.2%→40.4%, HMMT25 0%→28.6%) are presented without any mention of baselines, statistical tests, data splits, or implementation details, so it is impossible to determine whether the gains can be attributed to the proposed synthesis pipeline or Action-Centric Process Reward.

    Authors: We agree the abstract is highly concise and omits explicit references to baselines and statistical details. The full manuscript (§4) reports comparisons against the base Qwen2.5-7B, standard TIR prompting, and outcome-only RL baselines, with all numbers averaged over three random seeds on the official benchmark splits. In revision we will expand the abstract to read: 'outperforming strong baselines (e.g., lifting Qwen2.5-7B from 3.2% to 40.4% on AIME24)'. This change directly addresses the concern without altering the headline numbers. revision: yes

  2. Referee: [Abstract] Abstract (and implied §3–4): the Action-Centric Process Reward is asserted to provide dense supervision for intermediate thinking and tool invocations, yet no equations, weighting scheme, or ablation are supplied; without these it remains possible that the reward still depends on final outcomes or fitted scalars, reducing to the sparse signal the method claims to overcome.

    Authors: Section 3.2 of the manuscript defines the Action-Centric Process Reward explicitly as R_process = Σ_t (α · R_think(t) + β · R_tool(t)), where R_think(t) is produced by a separate process verifier trained on step-level annotations (independent of terminal correctness) and R_tool(t) is a binary indicator of valid tool syntax and argument correctness at turn t. The scalars α and β are fixed hyperparameters (0.6 and 0.4) chosen on a small validation set and not fitted to final outcomes. Ablations in §4.3 remove the process component and show a 12–18 point drop, confirming the dense signal. We will add a short paragraph in the revision explicitly stating that the verifier labels are generated without access to the final answer, addressing any remaining circularity concern. revision: partial

Circularity Check

0 steps flagged

No circularity: framework components described without self-referential reduction or fitted predictions

full rationale

The abstract and provided text introduce a synthesis pipeline for interleaved trajectories and a GRPO-based Process-Supervised RL with an Action-Centric Process Reward as novel components. No equations, parameter-fitting steps, or self-citations are quoted that would make any claimed prediction or result equivalent to its inputs by construction. The performance gains are presented as empirical outcomes of the proposed method rather than derived tautologically from prior fits or definitions. The derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract supplies no explicit free parameters, axioms, or invented entities; the process reward and trajectory synthesis are described at a high level without implementation specifics.

pith-pipeline@v0.9.1-grok · 5771 in / 1158 out tokens · 45612 ms · 2026-06-29T07:48:44.300041+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

21 extracted references · 2 canonical work pages

  1. [1]

    ISBN 979-8-89176-332-6

    URL https://openreview.net/forum? id=Rwhi91ideu. Kirk, R., Mediratta, I., Nalmpantis, C., Luketina, J., Ham- bro, E., Grefenstette, E., and Raileanu, R. Understanding the effects of rlhf on llm generalisation and diversity. In The Twelfth International Conference on Learning Repre- sentations, 2023. Kumar, A., Zhuang, V ., Agarwal, R., Su, Y ., Co-Reyes, ...

  2. [2]

    We are to start with the Navigator’s Guide:

    URL https://aclanthology.org/2025. emnlp-main.276/. Li, X., Zou, H., and Liu, P. Torl: Scaling tool-integrated rl. arXiv preprint arXiv:2503.23383, 2025b. Li, Z. and Wang, S. Reasoning as a resource: Optimiz- ing fast and slow thinking in code generation models. InProceedings of the 1st ACM SIGPLAN International Workshop on Language Models and Programming...

  3. [3]

    Setting these equal and solving gives P= 9

  4. [4]

    Left side total weight (pounds):

    Thus, m= 9 and n= 5, som−n= 4. Final Answer: 4 17 DeepT ool: Scaling Interleaved Deliberation in Tool-Integrated Reasoning via Process-Supervised Reinforcement Learning Case Study: w/o thinking TIR Problem Input The weight of 1 3 of a large pizza together with 3 1 2 cups of orange slices is the same as the weight of 3 4 of a large pizza together with 1 2 ...

  5. [5]

    Move p-terms to left, constants to right: 7/8 - 1/2 = (3/4)p - (1/3)p

  6. [6]

    Compute right coefficient difference: (3/4)p - (1/3)p = -5/12p

    Compute left constant difference: 7/8 - 1/2 = -3/8 3. Compute right coefficient difference: (3/4)p - (1/3)p = -5/12p

  7. [7]

    Solve for p: p = -3/8 / -5/12

    Resulting equation: -3/8 = -5/12 * p 5. Solve for p: p = -3/8 / -5/12

  8. [8]

    ": history =

    p = 9/10 pounds Reduced fraction: 9/10 Verification: Left side: (1/3) *9/10 + 7/8 = 47/40 Right side: (3/4) *9/10 + 1/2 = 47/40 ============================== OK Step 6 **Summary Analysis:** The algebraic solution to the equation derived from the problem yields the weight of a large pizza as 9 10 pounds. Here, m= 9 and n= 10 , which are relatively prime. ...

  9. [9]

    \"\"{problem}\

    Problem: \"\"\"{problem}\"\"\"

  10. [10]

    \"\"{gold_cot}\

    Gold CoT: \"\"\"{gold_cot}\"\"\"

  11. [11]

    \"\"{history}\

    History: \"\"\"{history}\"\"\" [Constraint] {urgency_instruction} [Guiding Principles] - Process over Result: Define the logical task, DO NOT reveal numeric results. - Let the Assistant Think: The Assistant performs the execution. - Handling Errors: If previous step failed, guide the fix first. [Analysis Logic]

  12. [12]

    Correction

    Check for Execution Errors (Highest Priority): - Look for <interpreter> error messages. - Action: Set reasoning_mode="Correction", guide debugging

  13. [13]

    Correction

    Check for Logical Validity: - Compare reasoning against Gold CoT. - If invalid: Set reasoning_mode="Correction". - If valid: Set reasoning_mode="Progress"

  14. [14]

    Correction

    Determine Stage: - "Correction" -> "Intermediate" - Last step or Complete -> "Final" - Otherwise -> "Intermediate" [Output Format] JSON Object only: {{ "navigational_guide": "Concise guidelineforthe NEXT step...", "solution_stage": "Intermediate" | "Final", "reasoning_mode": "Progress" | "Correction" }} """ Listing 2.Prompt for the Actor Policy defstep_th...

  15. [15]

    "" else:# Intermediate task_instr =

    <answer>\\boxed{Final Answer}</answer> """ else:# Intermediate task_instr = "WRITE PYTHON CODE to perform the task." fmt_req = """ **Output Format: **

  16. [16]

    Textual Analysis (Logic/Math)

  17. [17]

    "" ‘‘‘ returnf

    <code> ‘‘‘python # Code here ‘‘‘ </code> """ ‘‘‘ returnf"""You are an expert solver using "Tool-Integrated Reasoning". ‘‘‘ You are the "Builder" executing the plan provided by the "Navigator". [Input Data] Problem: """{problem}""" History: """{history_str}""" Navigator’s Guide: """{guide}""" [Task Context] {mode_context} [Goal] {task_instr} [Requirements]...

  18. [18]

    Step-by-Step Reasoning: Do not rush

  19. [19]

    Analyze output

    Tool Usage: Wrap code in <code> blocks. Analyze output

  20. [20]

    Error Handling: Fix syntax/timeout errors in the next step

  21. [21]

    "" Listing 4.Prompt for Baseline Trajectory Synthesis Method defgenerate_baseline_prompt(question:str) ->str: returnf

    Final Answer: Wrap result in <answer> block. [Format Definitions] Option 1: Code Step <think>...</think> 24 DeepT ool: Scaling Interleaved Deliberation in Tool-Integrated Reasoning via Process-Supervised Reinforcement Learning Analysis... <code>‘python...‘</code> Option 2: Answer Step <think>...</think> Summary... <answer>\boxed{{final_value}}</answer> [P...