从噪声轨迹到根因：用于智能体优化的结构化轨迹分析与因果提取

论文提出 STRACE，通过批量失败模式挖掘筛除冗余轨迹，并在单条轨迹的文本依赖图上进行因果定位，移除非因果步骤、识别需优化的根因模块。在 VeruSAGE-Bench 形式化验证任务中，成功率由 42.5% 提升至 58.5%，达到约 1.4 倍。