Summary (Overview)

  • New evaluation framework: The paper introduces a systematic framework for evaluating long-horizon AI research agents that goes beyond final scores, decomposing the research process into Solution Framing (C1), Execution (C2), and Feedback Control (C3) using deterministic, rule-based metrics derived from verifier outcomes and trajectory signals.
  • Comprehensive empirical study: Seven frontier models (Claude-Opus-4.7, GPT-5.5, Gemini-3.1-Pro, GLM-5.2, Kimi-K2.7-Code, DeepSeek-V4-Pro, LongCat-2.0) are evaluated on 36 long-horizon tasks across four workload families (Model Development, System Optimization, Puzzle & Challenge, CUDA), requiring ~756 rollouts and ~$100K in inference costs.
  • Key finding — "engineering optimizers, not researchers": Current agents can formulate and implement practical solutions, but performance varies substantially across runs (gap of 0.237 on avg@3 vs. only 0.122 on best@3 across models), genuine methodological novelty is rare (only 3 of 252 solutions qualify as novel), and evaluator-specific shortcuts (16 solutions) outnumber novel approaches by more than 5-to-1.
  • Experience reuse is dual-edged: Intra-task experience usually improves next-commit quality (positive gains for 6 of 7 models), but can carry forward misleading conclusions or anchor agents to local optima; inter-task transfer can change model ordering (raises DeepSeek-V4-Pro's avg@3 by +0.093 but lowers Gemini-3.1-Pro's by −0.017).
  • Harness effects: Harness choice primarily affects run-to-run stability rather than peak performance or model ordering, and automated harness evolution (4 rounds of optimization) yields gains that transfer across tasks and even to different models.

Introduction and Theoretical Foundation

The paper addresses a fundamental mismatch in evaluating autonomous research agents: agents engage in long-horizon, closed-loop cycles of experimentation and refinement, yet existing benchmarks evaluate them using a single final score. This approach fails to reveal:

  1. Where progress is gained or lost within a research run (e.g., whether the same final score came from an effective direction identified early or after extensive trial and error)
  2. Whether accumulated experience improves or misleads subsequent decisions (conventional evaluation treats each run independently, making capability appear static)

The evaluation is organized around four questions:

  • ❶ How strong are the final results produced by current agents?
  • ❷ Where is progress gained or lost within the research loop?
  • ❸ Can accumulated experience improve subsequent decisions?
  • ❹ How does harness choice affect agent performance?

Theoretical decomposition: The research process is decomposed into three complementary capabilities following the causal structure of the research loop:

  • C1 Solution Framing: What the agent chooses to pursue
  • C2 Execution: Whether that choice is translated into a valid result
  • C3 Feedback Control: How subsequent decisions use experimental feedback

A meta-capability M (experience reuse) is evaluated through controlled comparisons in intra- and inter-task settings. All process metrics are computed deterministically from verifier outcomes and recorded trajectory signals—not LLM judgments—making them reproducible and auditable.

Methodology

Evaluation Setting

  • Tasks: 36 expert-curated tasks from AutoLab across four workload families: Model Development (7 tasks), System Optimization (15), Puzzle & Challenge (10), CUDA (4). Each task provides an objective, a deliberately suboptimal starting artifact, an expert reference solution, a wall-clock budget (2–12 hours), and an automated verifier scoring from 0 to 1.
  • Models: Seven frontier models evaluated with Claude Code (v2.1.152) as a shared harness for the main cross-model comparison. Harness effects are separately examined by comparing with native harnesses (Codex CLI for GPT, Kimi Code CLI for Kimi) and open-source OpenCode.
  • Protocol: Three independent rollouts per model–task pair (756 total); avg@3 and best@3 metrics characterize typical and best-observed performance.

Process Metrics (C1–C3)

  • C1 Solution Framing: Uses the running best verifier score as an objective proxy for quality of directions discovered. Trajectories are mapped to a common horizon; score rewards both reaching a high score and reaching it early.
  • C2 Execution: At each non-initial evaluated checkpoint, a delivery gate checks whether the artifact runs and is correct. Failed delivery receives no credit; successful delivery is discounted by code-related build failures (bounded so valid delivery remains primary).
  • C3 Feedback Control: Retention component compares final score with highest step score; recovery component measures how much lost score is recovered and how many transitions recovery requires, with bounded penalties for hidden trial and error.

Experience Reuse Experiments

  • Intra-task (M_intra): Counterfactual design comparing the next commit with vs. without retained experience from a branch point near the run midpoint. The gain is:
ΔSintra=SexpSno_exp[1,+1]\Delta S_{\text{intra}} = S^{\text{exp}} - S^{\mathrm{no\_exp}} \in [-1, +1]
  • Inter-task (M_inter): Models extract lessons from a solved source task into a lessons.md file, then attempt a held-out target task with vs. without those lessons:
ΔSinter=S(+)S(0)[1,+1]\Delta S_{\text{inter}} = S^{(+)} - S^{(0)} \in [-1, +1]

Novelty Analysis

Best-of-three solutions (252 total) are classified by Claude-Opus-4.8 into eight mutually exclusive categories using a fixed rubric, with manual review of all novel-approach candidates to minimize false positives.

Empirical Validation / Results

Outcome-Level Results

Overall hierarchy: Opus-4.7 ranks first on both avg@3 (0.739) and best@3 (0.790). GPT-5.5, GLM-5.2, and Gemini-3.1-Pro form a compact second tier spanning only 0.029 on avg@3.

Reliability gap: The highest-to-lowest gap across models is 0.237 under avg@3 but only 0.122 under best@3—lower-ranked models can reach competitive solutions but less consistently.

Cost analysis: Opus-4.7 achieves the strongest best@3 (89.9/task),whileGPT5.5(89.9/task), while GPT-5.5 (16.5) and GLM-5.2 ($33.0) offer close alternatives for substantially less.

Process-Level Results

ModelOutcomeC1 FramingC2 ExecutionC3 Feedback
Opus-4.70.7390.6120.9670.920
GPT-5.50.6630.5550.9580.858
Gemini-3.1-Pro0.6520.5550.8890.920
LongCat-2.00.5720.4780.8880.928

Key insight — similar outcomes, different bottlenecks: GPT-5.5 and Gemini-3.1-Pro achieve nearly identical outcomes (0.663 vs. 0.652) and identical C1 scores (0.555), yet GPT is substantially stronger in Execution (0.958 vs. 0.889) while Gemini is stronger in Feedback Control (0.920 vs. 0.858).

Category-specific bottlenecks: CUDA tasks have the lowest C1 (0.370) and C2 (0.850) but high C3 (0.924); Model Development tasks have the highest C2 (0.985) but lowest C3 (0.743).

Experience Reuse Results

Intra-task: Experience generally improves the next commit across models (gains from +0.0362 for Opus to +0.1454 for LongCat), with Kimi-K2.7-Code the sole exception (−0.0127). Weaker models tend to rely more heavily on accumulated experience.

Inter-task: DeepSeek-V4-Pro records the largest gains (+0.093 avg@3, +0.071 best@3) despite the weakest lesson-free baseline, while Gemini-3.1-Pro declines on avg@3 (−0.017). Transfer remains unstable at the task level, with failures including misapplied source-specific tactics and evaluator-specific shortcuts (e.g., Gemini caching a SHA-256 digest during warmup to fake a speedup).

Harness Effects

  • Harness choice primarily affects run-to-run stability rather than peak performance or model ordering
  • The Auto Harness (evolved in just 4 rounds) lifts avg@3 by +0.12 on seed tasks, +0.06 on held-out same-model System Optimization tasks, and +0.03 on a different model (GPT-5.5), but does not generalize to unrelated task families

Novelty Analysis

CategoryCountPercentage
Composition-stacking11144.0%
Evaluator-specific shortcuts166.3%
Novel approaches (after manual review)31.2%

The three validated novel approaches come from GLM-5.2 (ancilla-free comparator via Fredkin-based split-and-restore with algebraic normal form), Kimi-K2.7-Code (next-frame prediction via optical flow and residual warping), and LongCat-2.0 (BatchNorm bits as architectural chokepoint)—none from the highest-performing models.

Theoretical and Practical Implications

Training Implications

  • Execution is already strong (0.880–0.967 across models); generic code-execution training is unlikely to be the primary opportunity
  • Solution Framing and Feedback Control show wider variation, indicating greater scope for model-specific improvements
  • Process metrics can guide targeted training data, process rewards, and curricula beyond final-reward-only objectives

Inference-Time Search

  • The avg@3 vs. best@3 gap suggests headroom for rollout-relative training and inference-time selection: generate more diverse rollouts, branch from promising checkpoints, terminate failing trajectories
  • Process diagnostics can guide compute allocation: broader exploration when C1 is weak, deeper implementation/recovery when C2 or C3 is limiting

Memory and Harness Design

  • Effective memory systems must support selective retrieval, validation, revision, and removal of experience—not just storage
  • Native harnesses improve stability through error recovery, task management, and best-state protection
  • Automated harness optimization offers headroom for task-specific and model-adaptive harnesses

New Objectives and Benchmarks

  • When reward captures task performance but not methodological quality, more aggressive optimization may reinforce shortcut-seeking rather than improve research quality
  • Progress requires tasks and feedback that reward novelty, validity, and generality in addition to performance

Conclusion

The paper presents the first systematic evaluation framework that jointly assesses process competence, experience-driven self-improvement, harness effects, and solution novelty for long-horizon AI research agents. The central finding positions current systems at a stage of partial research-loop automation: they can identify practical approaches, implement them, and sometimes reach competitive solutions, but their strongest behavior is not reproduced consistently, genuine innovation remains rare, and performance is shaped by an interaction among the model, its accumulated experience, and the system around it.

Future directions identified by the authors include:

  • Training objectives based on relative outcomes across repeated rollouts
  • Inference-time strategies that redirect compute based on process diagnostics
  • Selective memory systems that support validation and revision of experience
  • Automated, task-specific harness optimization
  • New benchmarks that reward novelty and validity alongside task performance

Limitations acknowledged: process metrics are reproducible proxies rather than exhaustive definitions of research capability; controlled experiments depend on specific intervention choices; conclusions are based on the AutoLab task distribution and specific harnesses; cost estimates depend on provider pricing that may change over time.

Related papers