Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces STRACE, a novel framework that enhances the optimization of long-horizon agents by employing structural trajectory analysis and causal extraction to filter execution traces. By mining failure patterns and performing causal localization, STRACE effectively reduces noise in optimization contexts, leading to more precise agent policy improvements. Empirical results show that STRACE achieves a 1.4x increase in success rates on the VeruSAGE-Bench verification task, outperforming traditional context-filtering methods.
STRACE transforms noisy execution traces into high-fidelity optimization contexts, yielding a 1.4x improvement in agent success rates on complex tasks.
The optimization of long-horizon agents increasingly relies on reflection-based mechanisms, where a large language model (LLM) acts as an optimizer to diagnose agent failures and improve agent policies. However, real execution traces are difficult to use directly for optimization: large trace collections are often redundant and heterogeneous, making optimization inefficient and prone to overfitting to low-value failures; meanwhile, each individual trajectory also contains many irrelevant steps, while naive context reduction methods such as truncation or sliding windows can discard causally important evidence and produce misleading optimization signals. To resolve this dilemma, we introduce STRACE (Structural TRajectory Analysis and Causal Extraction), a framework that constructs high signal-noise optimization contexts for more precise and effective optimization. At the batch level, STRACE mines failure patterns to filter redundant traces and retain representative failures; within each selected trace, it performs causal localization over a textual dependency graph to remove non-causal steps and identify the true root-cause module for optimization. Empirical results demonstrate that STRACE significantly outperforms standard context-filtering baselines. Notably, on a challenging formal verification task (VeruSAGE-Bench), it successfully optimizes human-expert designed agents, delivering $1.4\times$ success-rate improvement (42.5% to 58.5%). The code is available at https://github.com/moomight/STRACE .
Microsoft Research