Socratic-SWE: Self-Evolving Coding Agents via Trace-Derived Agent Skills Paper • 2606.07412 • Published 6 days ago • 12
Bayesian-Agent: Posterior-Guided Skill Evolution for LLM Agent Harnesses Paper • 2606.08348 • Published 5 days ago • 12
SlimSearcher: Training Efficiency-Aware Web Agents via Adaptive Reward Gating Paper • 2606.07074 • Published 6 days ago • 11
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory Paper • 2606.06523 • Published 9 days ago • 4