ABSeeker: Training Long-Horizon Search Agents via Answer-Backtracked Credit Assignment
Summary (Overview)
-
Core Contribution: The paper proposes Answer-Backtracked Credit Assignment (ABC), a fine-grained credit assignment framework that converts sparse trajectory-level outcomes into dense step-level supervision for training long-horizon search agents. This addresses the fundamental limitation of existing methods that treat all steps within a trajectory uniformly.
-
Key Innovation: ABC leverages the backtrackable nature of search tasks—given a verified answer, one can recover intermediate evidence clues (entities, facts, relations) that should have been discovered during the search process. These clues serve as fixed anchors for evaluating individual steps.
-
Two-Stage Framework: ABC consists of (1) Answer-Backtracked Clue Recovery, which traces back from the verified answer to recover intermediate evidence clues, and (2) Clue-Anchored Step Scoring, which evaluates each search step against these clues to produce dense turn-level rewards.
-
Training Methods: The framework enables two training approaches: ABC-SFT (reward-weighted supervised fine-tuning that reweights per-turn loss) and ABC-GRPO (step-level reinforcement learning using clue-anchored scores as rewards in GRPO).
-
Key Results: The resulting model ABSeeker (trained on Qwen3.5-4B with only 8.5K examples) achieves 37.3% on BrowseComp and 39.1% on BrowseComp-ZH (improving to 55.3% and 52.9% with context management), outperforming all same-scale 4B agents and remaining competitive with larger ~30B search agents.
Introduction and Theoretical Foundation
Background and Motivation
Long-horizon search agents must execute multiple sequential actions (search, retrieve, verify, integrate) to reach a final answer. Systems like OpenAI Deep Research, Tongyi DeepResearch, and MiroThinker conduct multi-step investigations, iteratively formulating queries and revising hypotheses based on newly acquired information.
The fundamental challenge is credit assignment over long interaction horizons:
- Existing methods (SFT and RL) treat all steps within a trajectory uniformly, failing to distinguish useful actions from erroneous or redundant ones.
- Problem with uniform treatment: Even successful trajectories may contain erroneous or redundant steps, while failed trajectories may contain useful actions that retrieve decisive evidence.
- Key insight: Search tasks are naturally backtrackable—once the ground-truth answer is available, one can recover the key entities, facts, relations, and constraints that should have been discovered during the search process.
Theoretical Foundation
The paper formalizes the search trajectory and credit assignment problem. A search trajectory is defined as:
where is the final answer and each step contains the agent's reasoning, tool call, and tool response.
The standard trajectory-level reward is sparse and binary:
Two fundamental credit-assignment failures arise from this sparse signal:
- Failed trajectories: Useful intermediate steps (correct evidence discovery, verification, candidate filtering) receive zero reward despite contributing to progress.
- Successful trajectories: Erroneous intermediate conclusions or steps that discard useful evidence are not distinguished from genuinely informative actions.
Methodology
3.1 Answer-Backtracked Clue Recovery
Given a training question , the recovery process maps it to a set of clues:
where each is a verifiable piece of intermediate evidence (entity, fact, attribute, or relationship) connecting the query to the verified answer.
Key properties:
- The recovery uses an active ReAct loop: the recovery model conducts web searches and visits pages, tracing evidence from the answer back toward the query.
- Each clue is anchored in actual web content through verification.
- This leverages the fact that benchmarks like BrowseComp provide unique and verifiable answers, which offer a clear endpoint for evidence backtracking.
3.2 Clue-Anchored Step Scoring
Each step is evaluated against the recovered clue set . The scorer receives:
- The current step (reasoning, tool call, tool response)
- The original query
- The complete clue set
The step reward is computed as:
where is the set of scored behavior instances at step .
Scoring Rubric:
| Scored Behavior | Δ |
|---|---|
| Discovers or verifies a correct clue | +0.8 |
| Rules out an incorrect candidate | +0.4 |
| Incorrectly dismisses a correct clue | -0.8 |
| Submits the verified answer | +1.0 |
| Submits an incorrect answer | -1.0 |
Each step starts with a base score of 1.0, ensuring reasonable exploration without obvious error is not penalized.
3.3 Training Methods
ABC-SFT (Reward-Weighted Supervised Fine-Tuning)
The SFT objective reweights each step's loss based on its reward:
where the step-level weight uses a sigmoid function: , with controlling sharpness and the neutral baseline. In practice, , mapping neutral reward to weight 1.0.
ABC-GRPO (Step-Level Reinforcement Learning)
For each rollout , the reward at step is . Rewards are normalized within each rollout group, and the discounted step-level advantage is:
where controls how future step rewards propagate to earlier decisions. The standard clipped GRPO objective is used with step-specific advantages instead of trajectory-level ones.
Empirical Validation / Results
Experimental Setup
- Training data: 8.5K trajectories from OpenSeeker (5.5K correct, 3.0K incorrect), with maximum 200 steps per trajectory
- Backbone: Qwen3.5-4B
- SFT: 3 epochs, batch size 64, learning rate
- RL: 1,000 questions, 8 rollouts each, learning rate , KL coefficient 0.001
- Scoring/Recovery model: DeepSeek-V4-Flash
Main Results
Table 2: Performance comparison across five benchmarks (BrowseComp and BrowseComp-ZH results with * denote no context management):
| Model | Param | BrowseComp | BrowseComp-ZH | xbench-2505 | xbench-2510 | GAIA-text |
|---|---|---|---|---|---|---|
| Foundation Model with Tools | ||||||
| Gemini-3.1-Pro | - | - | 85.9 | - | 53.0 | 80.6 |
| Seed-2.0-Pro | - | 77.3 | 82.4 | - | - | 78.6 |
| GLM-5 | 358B | 75.9 | 72.7 | - | - | - |
| DeepSeek-V4-Pro-Max | 1.6T | 83.4 | - | - | 80.0 | - |
| GPT-5 High | - | 54.9 | 63.0 | 77.9 | 75.0 | 76.4 |
| Search Agent (~30B) | ||||||
| MiroThinker-1.7-mini | 30B | 67.9 | 72.3 | - | 57.2 | 80.3 |
| RedSearcher | 30B | 57.4 | 58.2 | - | - | 80.1 |
| DeepMiner | 32B | 33.5 | 40.1 | 62.0 | - | 58.7 |
| Tongyi-DeepResearch | 30B | 43.4* | 46.7* | 75.0 | - | 70.9 |
| OpenSeeker | 30B | 29.5* | 48.4* | 74.0 | - | - |
| Search Agent (4B) | ||||||
| QUEST-4B | 4B | 40.0 | - | - | - | 77.7 |
| DR-Venus | 4B | 29.1* | 37.7* | 74.7 | 40.7 | 64.4 |
| AgentCPM-Explore | 4B | 24.1* | 29.1* | 70.0 | 34.0 | 63.9 |
| ABSeeker | 4B | 37.3/55.3* | 39.1/52.9* | 77.0 | 46.0 | 81.6 |
Key findings:
- ABSeeker achieves the best performance among all 4B search agents on every benchmark
- Outperforms all reported 30B agents on xbench-2505 and GAIA-text
- Surpasses several 30B systems on BrowseComp and BrowseComp-ZH
- Despite training exclusively on BrowseComp-style questions, the model generalizes effectively to xbench and GAIA
Reward Distribution Analysis
Analysis of step-reward distributions over the 8.5K SFT trajectories reveals:
- Successful trajectories contain approximately 4% low-quality steps (reward < 1.0)
- Failed trajectories contain nearly 10% high-quality steps (reward > 1.0) that discover or verify useful clues despite ultimately producing incorrect answers
- Trajectory-level supervision would incorrectly reinforce erroneous actions in successful trajectories and penalize useful actions in failed ones
RL Training Dynamics
ABC-GRPO achieves consistently stronger BrowseComp performance after training begins while producing longer search trajectories, demonstrating that step-level credit assignment improves both search accuracy and exploratory behavior.
Ablation Study
Table 3: Ablation of ABC-SFT and ABC-GRPO (evaluated without context management):
| Model | BrowseComp | BrowseComp-ZH | xbench-2505 | xbench-2510 | GAIA-text |
|---|---|---|---|---|---|
| Qwen3.5-4B | |||||
| +Standard SFT | 28.5 | 30.4 | 73.0 | 27.0 | 66.0 |
| +ABC-SFT | 30.8 | 31.8 | 72.0 | 35.0 | 72.8 |
| ABSeeker-4B-SFT | |||||
| +Standard GRPO | 33.5 | 36.3 | 75.0 | 41.0 | 77.7 |
| +ABC-GRPO | 37.3 | 39.1 | 77.0 | 46.0 | 81.6 |
ABC-SFT improves over standard SFT on four of five benchmarks, and ABC-GRPO consistently outperforms standard trajectory-level GRPO across all benchmarks.
Theoretical and Practical Implications
Theoretical Implications
-
Fine-grained credit assignment matters: The results demonstrate that distinguishing useful actions from erroneous ones—even within trajectories of the same outcome class—provides significantly better training signal than trajectory-level supervision.
-
Backtrackability as a general principle: The paper establishes that tasks with verifiable final answers can be backtracked to recover intermediate evidence, providing a principled basis for process supervision. This principle could extend beyond web search to any long-horizon agent task with verifiable outcomes.
-
Fixed anchors for evaluation: The recovered clues serve as fixed, answer-backtracked evaluation criteria that remain stable during training, unlike model-dependent signals (e.g., IGPO's likelihood-based credit) that fluctuate with policy updates.
Practical Implications
-
Data efficiency: ABSeeker achieves competitive performance with only 8.5K training examples, demonstrating that high-quality process supervision can compensate for limited data.
-
Scalability: The approach works with a compact 4B model, suggesting that fine-grained credit assignment is a promising direction for democratizing capable search agents.
-
Context management synergy: The combination of ABC with context management (256K token budget, discard-all strategy) yields substantial improvements (37.3% → 55.3% on BrowseComp), indicating complementary benefits.
-
Cross-benchmark generalization: Training on BrowseComp-style questions generalizes to xbench and GAIA benchmarks, showing that the learned search behaviors are transferable.
Conclusion
The paper presents Answer-Backtracked Credit Assignment (ABC), a framework that addresses the credit assignment challenge in long-horizon search agent training by:
- Recovering intermediate evidence clues from verified answers
- Evaluating each search step against these clues to produce dense step-level rewards
- Using these rewards to reweight SFT losses (ABC-SFT) and provide step-level GRPO advantages (ABC-GRPO)
Key takeaways:
- ABC rewards useful actions in failed trajectories while suppressing erroneous actions in successful ones
- The trained ABSeeker (4B parameters) outperforms all same-scale baselines and remains competitive with ~30B agents
- Step-level supervision improves reward quality, training dynamics, and long-horizon exploration
Future directions:
- Scaling to larger models: Examine whether answer-backtracked credit assignment brings stronger gains under higher model capacity
- Extending to other domains: Apply the framework to other long-horizon agent tasks where final outcomes can be backtracked into intermediate evidence, subgoals, or decision points
Availability: Code is available at https://github.com/PolarSeeker/ABSeeker and the model at https://huggingface.co/PolarSeeker/ABSeeker-4B-RL.
Related papers
- Agent Lightning v1.0: Towards Harnessed Agentic RL
Agent Lightning enables harnessed agentic RL with rollout-level advantage and normalization, boosting coding agents on SWE-bench Verified from 41.8% to 56.4% using only ~6K examples.
- Diagnosing Training Inference Mismatch in LLM Reinforcement Learning (VeXact)
Training-inference mismatch (TIM) between rollout and training engines, not just algorithmic choices, can independently cause catastrophic RL training collapse, as shown by the new VeXact engine.
- HarnessOpt-Bench: Evaluating LLMs at Harness Optimization
HARNESSOPT-BENCH shows optimizer model choice matters 1.8x more than coding harness choice for agent improvement, with broader search driving gains and trace reading providing no benefit.