ProgramGym: Scaling Training Environments for Long-Horizon Program Reproduction Agents
cs.SE, cs.AI, cs.CL
Submitted: 2026-10-09
Updated: 2026-10-09
License: http://creativecommons.org/licenses/by/4.0/
The gist: Coding agents are increasingly used to build programs from scratch as software engineers do rather than to resolve issues within a repository or to generate a repository from a given requirements
Abstract
Coding agents are increasingly used to build programs from scratch as software engineers do rather than to resolve issues within a repository or to generate a repository from a given requirements document. However, scalable verifiable training environments that force agents to discover what is required and to decide how the system should be designed remain scarce. Moreover, existing agent workflows also cannot sustain long-horizon development in which the agent explores the reference program before implementation. To address these challenges, we introduce ProgramGym, a framework consisting of Program-Env and Program-Agent for scalable training environments of long-horizon program reproduction agents. Specifically, Program-Env constructs verifiable training environments from repositories through a feedback-driven loop that repairs runtime sandbox builds and the quality of black-box tests. Using this novel pipeline, we obtain 1,648 training environments spanning C, C++, Go, and Rust. Program-Agent combines a role-isolated workflow of analysis, implementation, and review with revision management for compilation checks and failure recovery. Experiments on ProgramBench show that both Program-Env and Program-Agent improve performance on program reproduction. Fine-tuning on trajectories with these constructed environments raises the performance of Qwen3.8-27B from 34.87% to 42.84%. Program-Agent further raises the base and SFT models to 55.71% and 56.25%, both exceeding some flagship models. We will release the ProgramGym to support further research on coding agents that build programs from scratch.
Sources
- MirrorCode: AI can rebuild entire programs from behavior alone
- Open-SWE-Traces: Advancing Dual-Mode Multilingual Distillation for Software Engineering Agents
- Qwen3-Coder-Next Technical Report
- SWE-Universe: Scale Real-World Verifiable Environments to Millions
- MindForge: Teaching Small Language Models Whole-Life-Cycle Software Engineering via Source-Free Program Synthesis
- NL2Repo-Bench: Towards Long-Horizon Repository Generation Evaluation of Coding Agents
- GLM-5: from Vibe Coding to Agentic Engineering
- Self-GC: Self-Governing Context for Long-Horizon LLM Agents
- R2E-Gym: Procedural Environments and Hybrid Verifiers for Scaling Open-Weights SWE Agents
- GameEngineBench: Evaluating Coding Agents on Real C++ Runtime Environments
- GameCraft-Bench: Can Agents Build Playable Games End-to-End in a Real Game Engine?
- Training Software Engineering Agents and Verifiers with SWE-Gym
- Qwen2.5 Technical Report
- SWE-PolyBench: A multi-language benchmark for repository level evaluation of coding agents
- SWE-Bench ProMax: Benchmarking Agents on Large-Scale Multilingual Code Refactoring
- OpenAI GPT-5 System Card
- SWE-Master: Unleashing the Potential of Software Engineering Agents via Post-Training
- Kimi K3: Open Frontier Intelligence
- SWE-Together: Evaluating Coding Agents in Interactive User Sessions
- SWE-bench Multimodal: Do AI Systems Generalize to Visual Software Domains?
Related papers
- Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
- GitSkills: A Dataset of Agent Skills on GitHub
- SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
- PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
- IntentCoding: Amplifying User Intent in Code Generation
- Incentives and Outcomes in Bug Bounties