🤖 AI Summary
This work addresses the challenge of training software engineering agents, which is hindered by the scarcity of high-quality task data and the inability of synthetic tasks to dynamically adapt to agent weaknesses. The authors propose a closed-loop self-evolution framework that distills agent solution trajectories into structured skills and leverages these skills to generate targeted remedial tasks. An effective task selection mechanism—based on execution validation and reward alignment with solver gradients—ensures that only beneficial tasks are retained, enabling dynamic alignment between the evolving task distribution and the agent’s capabilities. Evaluated on SWE-bench Verified, the method achieves a 50.40% solve rate after three iterative rounds, substantially outperforming existing self-evolution approaches.
📝 Abstract
LLM-driven software engineering agents have become a central testbed for real-world language-model capability, yet their training remains limited by the availability of high-quality SWE tasks. Existing synthetic data methods typically create tasks through fixed mutation or bug-injection procedures, making the resulting distributions largely independent of the agent's own weaknesses and training progress. We introduce Socratic-SWE, a closed-loop self-evolution framework that reuses the agent's historical solving traces as a source of training signal. Rather than treating traces only as evidence for reward computation, Socratic-SWE distills them into structured agent skills that summarize recurring failures and effective repair patterns. These skills then guide the generation of targeted repair tasks in real repositories. Candidate tasks are checked through execution-based validation and scored with a solver-gradient alignment reward, so that the retained tasks are both verifiable and useful for improving the Solver. The updated Solver produces new traces, enabling the task curriculum to adapt over successive rounds. Across SWE-bench Verified, SWE-bench Lite, SWE-bench Pro, and Terminal-Bench 2.0, Socratic-SWE consistently improves over self-evolving baselines under the same compute budget, reaching 50.40% on SWE-bench Verified after three iterations. These results suggest that solving traces can serve as a scalable substrate for self-evolving SWE agents.