ICML Conference 2025 Conference Paper
Reasoning Through Execution: Unifying Process and Outcome Rewards for Code Generation
- Zhuohao Yu 0001
- Weizheng Gu
- Yidong Wang 0003
- Xingru Jiang
- Zhengran Zeng
- Jindong Wang 0001
- Wei Ye 0004
- Shikun Zhang
Large Language Models excel at code generation yet struggle with complex programming tasks that demand sophisticated reasoning. To bridge this gap, traditional process supervision relies on learned reward models requiring costly training data and suffering from reward misalignment, while outcome supervision fails for complex tasks needing coordinated intermediate steps. We introduce O utcome R efining P rocess S upervision, which unifies process and outcome supervision by leveraging executable verification: a tree-structured search framework generates strategic alternatives, profiles execution metrics, and scores candidates via self-critique mechanisms that integrate runtime feedback with reasoning. Experiments across 5 models and 3 benchmarks show consistent gains, with 26. 9% higher correctness and 42. 2% improved code efficiency. The results demonstrate that ORPS enables LLMs to overcome local optima in code generation, suggesting a promising direction for combining verifiable outcomes with structured reasoning to tackle complex challenges.