ABSeeker: Training Long-Horizon Search Agents via Answer-Backtracked Credit Assignment
Yijun Lu, Rui Ye, Jiajun Wang, Yuwen Du, Tian Jin, Songhua Liu, Siheng Chen
ABSeeker uses answer-backtracked clues to assign fine-grained rewards to individual search steps, outperforming larger agents.
How can we improve credit assignment for long-horizon search agents by using the final answer to retroactively identify which intermediate search steps were actually useful?
Long-horizon search agents often fail because they are trained on entire trajectories, treating every step as equally correct or incorrect regardless of its actual contribution to the final answer. The authors introduce Answer-Backtracked Credit Assignment (ABC): a framework that traces back from a verified answer to identify intermediate evidence clues, then scores each search step based on its progress toward those specific anchors. This dense, step-level supervision allows the model to learn from useful actions even in failed trajectories, enabling a 4B-parameter model to outperform significantly larger search agents on complex benchmarks.
Paper Primer
The core mechanism, Clue-Anchored Step Scoring, acts like a rubric-based grader: it compares each step's reasoning and tool output against a set of required evidence clues, assigning a scalar reward that reinforces productive exploration and penalizes redundant or erroneous moves.
ABSeeker achieves state-of-the-art performance for 4B-parameter search agents.
Performance on BrowseComp and BrowseComp-ZH benchmarks. 55.3% and 52.9% accuracy respectively, outperforming larger ~30B models in several categories.
The training pipeline applies this scoring in two stages: ABC-SFT reweights the loss of each turn based on its step score, and ABC-GRPO uses these scores as direct rewards for reinforcement learning, ensuring the policy is optimized for process quality rather than just final outcomes.
Why is trajectory-level supervision insufficient for long-horizon search?
It fails to distinguish between heterogeneous actions; a successful trajectory may contain flawed steps, while a failed one may contain decisive evidence-gathering steps that are incorrectly penalized by a binary outcome.
How does the model handle trajectories that ultimately fail?
By using answer-backtracked clues as fixed reference points, the system can identify and reward individual steps that successfully discovered or verified evidence, even if the final answer submitted by the agent was incorrect.
Researchers can now move beyond binary outcome-based training for agents by using verified answers to generate dense, process-level supervision, effectively turning any task with a verifiable result into a source of fine-grained training data.
Motivation and Performance Overview
Uniform step weighting hampers long‑horizon search agents, motivating fine‑grained credit assignment.
Long‑horizon search agents must orchestrate many sequential actions—searching, retrieving, verifying, and integrating evidence—to arrive at a final answer. Existing training pipelines, whether supervised fine‑tuning (SFT) or reinforcement learning (RL), treat every step in a trajectory identically, ignoring that some actions are decisive while others are redundant or erroneous. This uniform step weighting wastes supervision and impedes learning of the most critical search behaviors.
**Figure 1.** ABSeeker achieves the best performance among 4B models and remains competitive with several larger search agents. Striped regions indicate results with context management enabled.
Training long‑horizon search agents is inefficient because uniform step weighting fails to distinguish useful actions from noisy or redundant ones.
The core inefficiency stems from treating every step equally; fine‑grained, answer‑backtracked credit is needed to train effective long‑horizon search agents.
The ABC Training Framework
Uniform answer-level rewards leave intermediate steps untrained, so we introduce dense step credit.
Uniform answer‑level rewards give no guidance to intermediate decisions, so learning ignores useful steps.
Instead of rewarding only the final answer, ABC assigns a dense credit to each step by checking how it aligns with evidence clues traced back from the verified answer.
Step $s_{1}$ discovers clue $c_{1}$ → +0.8 (Table 1).
Step $s_{2}$ discovers clue $c_{2}$ → +0.8.
Step $s_{3}$ submits the verified answer → +1.0.
Base score 1.0 + 0.8 + 0.8 + 1.0 = 3.6 → clipped to 2.0.
Even if the final answer were wrong, steps that uncovered correct clues would still earn positive credit, guiding the policy toward useful sub‑behaviors.
How does ABC differ from the standard answer‑level reward?
Standard reward $r_{\text{ans}}$ is a binary signal attached only to the final answer, so every intermediate decision receives the same gradient signal. ABC replaces this with a per‑step reward $r_{t}$ that reflects whether each action contributed to the verified evidence chain, providing dense, direction‑specific feedback.
Each step is evaluated against the recovered clue set; productive actions add positive deltas, mistakes subtract, and the total is clipped to keep rewards bounded.
Base score 1.0.
+0.8 for discovering the correct clue (Table 1).
+0.4 for correctly ruling out a wrong candidate.
Total = 1.0 + 0.8 + 0.4 = 2.2 → clipped to 2.0.
Clipping ensures that even a step that performs many good actions cannot exceed the maximum reward, keeping the learning signal on a stable scale.
Is this scoring just another form of reward shaping?
No—reward shaping typically adds a heuristic term to a scalar reward. Here the reward is computed deterministically from a verified evidence set, and each delta corresponds to a concrete, interpretable behavior, making the signal transparent and grounded in the task.
**Figure 2.** Overview of the training pipeline, which consists of two core stages. **Stage 1: Answer-Backtracked Clue Recovery** recovers intermediate evidence clues from the query and its verified answer. **Stage 2: Clue-Anchored Step Scoring** evaluates each step against the recovered clues and produces dense, fine-grained rewards for each step, in contrast to the sparse answer-level reward.
**Figure 3.** An illustrative example of **Answer-Backtracked Clue Recovery** and **Clue-Anchored Step Scoring**. **Left:** Given a multi-constraint query and the verified answer, the recovery produces six intermediate evidence clues ($c_1$–$c_6$) that form a verified evidence chain connecting the query to the answer. **Right:** Selected steps from a sampled trajectory are evaluated against the recovered clue set, with rewards reflecting the quality and contribution of each step.
Table 1 enumerates the scoring rubric: discovering a correct clue adds +0.8, ruling out a wrong candidate adds +0.4, incorrectly dismissing a correct clue subtracts –0.8, and answer submission adds +1.0 or –1.0.
Empirical Evaluation
ABSeeker’s step‑level credit assignment yields consistent gains across benchmarks.
We train on OpenSeeker trajectories (≤200 steps) using Qwen3.5‑4B as the backbone. Supervised Fine‑Tuning runs for three epochs on 8.5 K trajectories, and RL samples 1 K questions with eight rollouts each. All ABC components rely on DeepSeek‑V4‑Flash.
ABSeeker reaches 55.3 % accuracy on BrowseComp, surpassing all reported 4 B search agents.
Table 2 shows ABSeeker’s 55.3 % score, the highest among 4 B agents.
OpenSeeker supplies a large corpus of search trajectories, both successful and failed, that serve as the raw supervision for credit assignment.
How does OpenSeeker differ from a standard web‑search log?
OpenSeeker records the full sequence of tool invocations and the final answer, whereas a typical log only stores the query and final result. This granularity enables step‑level credit signals.
During supervised fine‑tuning, each step receives a back‑tracked credit based on whether it contributed to the final verified answer.
Why not simply weight all steps by the final outcome?
Uniform weighting would give the same signal to useless steps in a successful run and to useful steps in a failed run, blurring the learning signal. ABC‑SFT isolates the truly helpful actions.
In reinforcement learning, ABC‑GRPO replaces trajectory‑level returns with step‑level credits, guiding the policy toward actions that demonstrably improve the answer.
How does ABC‑GRPO avoid the high variance typical of step‑wise rewards?
Credits are deterministic functions of the trajectory’s final answer, so they do not introduce stochastic noise beyond the usual policy sampling variance.
**Table 1.** Performance comparison of various models on different benchmarks, categorized by model type and parameter size.
**Figure 4.** Distribution of step rewards across the 8.5K SFT trajectories. The left half shows successful trajectories, while the right half shows failed trajectories. Each bar represents one-tenth of the steps in a trajectory, ordered from earliest to latest; for example, 0–10% represents the first 10% of steps in a trajectory. Red, gray, and green denote low-quality steps with $r_t < 1.0$, neutral steps with $r_t = 1.0$, and high-quality steps with $r_t > 1.0$, respectively.
**Figure 5.** RL training dynamics. **Left:** Performance during training. **Right:** Average number of interaction turns.
ABC consistently outperforms uniform training baselines across model sizes.
Ablations and Robustness
Key ablations and context‑budget analysis for the proposed credit‑assignment framework.
Recall that the paper’s core idea is to give credit only to those search steps that actually lead to the final verified answer, rather than treating every step equally.
**Figure 6.** Performance under different context budgets.
Table 3 compares standard fine‑tuning (SFT) and GRPO against their ABC‑augmented counterparts across five benchmarks. In every case the “+ABC‑SFT” and “+ABC‑GRPO” rows achieve higher scores than the plain “+Standard” rows, confirming that removing the ABC credit‑assignment component degrades performance.
Questions & answers
What is the main contribution of ABSeeker?
ABSeeker introduces Answer-Backtracked Credit Assignment (ABC), a training framework that identifies intermediate evidence clues by tracing back from a verified answer and scores each search step based on its progress toward those specific anchors, replacing binary outcome-level supervision with dense, step-level feedback.
What problem does ABSeeker address?
ABSeeker addresses the failure of long-horizon search agents trained with trajectory-level supervision, which treats every step as equally correct or incorrect regardless of its actual contribution to the final answer, causing decisive evidence-gathering steps in failed trajectories to be incorrectly penalized.
Why is trajectory-level supervision insufficient for long-horizon search agents?
Trajectory-level supervision fails to distinguish between heterogeneous actions: a successful trajectory may contain flawed steps, while a failed one may contain decisive evidence-gathering steps that are incorrectly penalized by a binary outcome signal.
How does the ABC framework assign credit to individual steps?
ABC uses a mechanism called Clue-Anchored Step Scoring, which compares each step's reasoning and tool output against a set of required evidence clues derived from the verified answer, assigning a scalar reward that reinforces productive exploration and penalizes redundant or erroneous moves.
What are the specific reward values used in Clue-Anchored Step Scoring?
According to Table 1 in the paper, discovering a correct clue adds +0.8, ruling out a wrong candidate adds +0.4, incorrectly dismissing a correct clue subtracts –0.8, and answer submission adds +1.0 or –1.0 depending on correctness.
How does ABC differ from the standard answer-level reward?
The standard reward is a binary signal attached only to the final answer, giving every intermediate decision the same gradient signal, whereas ABC replaces this with a per-step reward that reflects whether each action contributed to the verified evidence chain, providing dense, direction-specific feedback.
How does ABSeeker handle trajectories that ultimately fail?
By using answer-backtracked clues as fixed reference points, the system can identify and reward individual steps that successfully discovered or verified evidence, even if the final answer submitted by the agent was incorrect.
What are the two training stages in the ABC pipeline?
The two stages are ABC-SFT, which reweights the loss of each turn based on its step score, and ABC-GRPO, which uses these scores as direct rewards for reinforcement learning, optimizing the policy for process quality rather than just final outcomes.
What datasets and experimental setup were used to evaluate ABSeeker?
The model is trained on OpenSeeker trajectories of up to 200 steps using Qwen3.5-4B as the backbone; supervised fine-tuning runs for three epochs on 8,500 trajectories, and reinforcement learning samples 1,000 questions with eight rollouts each, with all ABC components relying on DeepSeek-V4-Flash.
What is OpenSeeker and why is it important for this work?
OpenSeeker is a dataset that records the full sequence of tool invocations and the final answer for search trajectories, unlike a standard web-search log that only stores the query and final result; this granularity enables the step-level credit signals that ABC requires.
What are the key empirical results reported for ABSeeker?
Table 3 shows that ABC-augmented variants (+ABC-SFT and +ABC-GRPO) achieve higher scores than their plain counterparts (+Standard SFT and +Standard GRPO) across all five benchmarks evaluated, and the 4B-parameter model outperforms significantly larger search agents on complex benchmarks.
How does ABC-GRPO avoid the high variance typical of step-wise rewards?
Credits in ABC-GRPO are deterministic functions of the trajectory's final verified answer, so they do not introduce stochastic noise beyond the usual policy sampling variance.
Is Clue-Anchored Step Scoring just another form of reward shaping?
The paper argues it is not: reward shaping typically adds a heuristic term to a scalar reward, whereas here the reward is computed deterministically from a verified evidence set, and each score delta corresponds to a concrete, interpretable behavior grounded in the task.
What are the limitations of ABSeeker as acknowledged in the paper?
The paper does not explicitly enumerate a dedicated limitations section, but it acknowledges that standard trajectory-level methods fail to distinguish heterogeneous actions; the paper does not discuss generalization beyond tasks with verifiable answers or scalability beyond the 4B-parameter backbone tested.
How does ABSeeker compare to prior training approaches for search agents?
Prior approaches using either supervised fine-tuning or reinforcement learning treat every step in a trajectory identically, whereas ABSeeker's ABC framework provides dense, per-step supervision derived from verified answers, enabling a 4B-parameter model to outperform significantly larger agents trained with standard methods.
How can practitioners apply the ABC framework to new tasks?
Any task with a verifiable final result can be turned into a source of fine-grained training data by using verified answers to backtrack and generate dense, process-level supervision; the paper uses this principle with OpenSeeker trajectories and Qwen3.5-4B, with ABC components powered by DeepSeek-V4-Flash.
What venue and date is this paper associated with?
The paper is available on arXiv at arxiv.org/abs/2608.05102; the paper does not specify a conference or journal venue, and the arXiv identifier suggests a 2026 submission date, though the paper does not explicitly state the submission date.
Key terms
- Answer-Backtracked Credit Assignment (ABC)
- A training framework that traces back from a verified final answer to identify intermediate evidence clues and assigns step-level rewards to each search action based on its contribution to those clues.
- Clue-Anchored Step Scoring
- The core scoring mechanism in ABC that compares each step's reasoning and tool output against required evidence clues, assigning a scalar reward to reinforce productive actions and penalize erroneous ones.
- ABC-SFT
- The supervised fine-tuning stage of the ABC pipeline, which reweights the training loss for each turn according to that turn's step score rather than treating all steps equally.
- ABC-GRPO
- The reinforcement learning stage of the ABC pipeline, which uses Clue-Anchored Step Scores as direct per-step rewards to optimize the policy for process quality rather than only final outcomes.
- Long-horizon search agent
- An AI agent that must perform many sequential actions—such as searching, retrieving, verifying, and integrating evidence—over an extended trajectory to arrive at a final answer.
- Trajectory-level supervision
- A training approach that assigns a single reward or loss signal to an entire sequence of actions based solely on the final outcome, without distinguishing the contribution of individual steps.
- Dense step-level supervision
- A training signal that provides a separate reward or loss weight for each individual action in a trajectory, rather than a single signal for the whole sequence.
- OpenSeeker
- A dataset of search trajectories that records the full sequence of tool invocations and the final answer, enabling step-level credit assignment for training search agents.
- GRPO (Group Relative Policy Optimization)
- A reinforcement learning algorithm used to optimize a language model policy, here adapted by ABC to use per-step rewards derived from verified evidence clues.
- Qwen3.5-4B
- A 4-billion-parameter language model used as the backbone for training ABSeeker in the paper's experiments.
- DeepSeek-V4-Flash
- A model used by the paper to power all ABC scoring components during training.
- Evidence clue
- A specific piece of intermediate information, identified by backtracking from the verified final answer, that a search agent must discover or verify to correctly solve a question.
- Reward shaping
- A technique in reinforcement learning that adds auxiliary heuristic terms to a reward signal to guide learning, distinct from ABC's deterministic, evidence-grounded per-step scoring.
- Binary outcome reward
- A training signal that assigns a single +1 or –1 value based solely on whether the agent's final answer is correct, providing no feedback about the quality of intermediate steps.