Trace-based training and harder coding tasks
Socratic-SWE treats solver traces as reusable training material. It distills repeated failure modes and repair patterns into skills, then uses those skills to generate targeted repository repair tasks. Under a 36k-task budget, it reports 50.40% on SWE-bench Verified after three iterations and a +6.22 point mean gain across four benchmarks over the Qwen3.5-9B base agent.
BenchEvolver attacks benchmark saturation through task construction. It mutates the executable reference solution first, then writes the statement and tests around it. Its 91-problem benchmark gives frontier models a Pass@1 range of 27.5% to 62.6%, and the Hard split drops from 87.0% to 45.7% averaged across evaluated models.