Immersion in the GitHub Universe: Scaling Coding Agents to Mastery Paper • 2602.09892 • Published 2 days ago • 1
IterResearch: Rethinking Long-Horizon Agents via Markovian State Reconstruction Paper • 2511.07327 • Published Nov 10, 2025 • 78
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization Paper • 2510.24592 • Published Oct 28, 2025 • 17