mlsanityData to 14 Oct 2026

RefineRL: Advancing Competitive Programming with Self-Refinement Reinforcement Learning

arXiv 2604.00790 ↗First posted 1 Apr 2026cs.AIcited by 2

On the map: LLM reasoning → Reinforcement learning for reasoning

Abstract (arXiv)

While large language models (LLMs) have demonstrated strong performance on complex reasoning tasks such as competitive programming (CP), existing methods predominantly focus on single-attempt settings, overlooking their capacity for iterative refinement. In this paper, we present RefineRL, a novel approach designed to unleash the self-refinement capabilities of LLMs for CP problem solving. RefineRL introduces two key innovations: (1) Skeptical-Agent, an iterative self-refinement agent equipped with local execution tools to validate generated solutions against public test cases of CP problems. This agent always remains skeptical of its own outputs and thereby enforces rigorous self-refinement even when validation suggests correctness. (2) A reinforcement learning (RL) solution to incentivize LLMs to self-refine with only standard RLVR data (i.e., problems paired with their verifiable answers). Extensive experiments on Qwen3-4B and Qwen3-4B-2507 demonstrate that our method yields substantial gains: after our RL training, these compact 4B models integrated with the Skeptical-Agent not only outperform much larger 32B models but also approach the single-attempt performance of 235B models. Notably, although our models are trained solely on CP coding data, RefineRL also substantially improves their performance on mathematical reasoning benchmarks, suggesting that the learned self-refinement behavior can transfer beyond coding-specific tasks. These findings highlight self-refinement as a promising direction for scaling LLMs' general reasoning ability.

Key facts. Cited by 2 papers in the map (data through 14 Oct 2026). Placed in Reinforcement learning for reasoning, one of 17 directions in LLM reasoning. Builds on 30 of its 35 references that are in the map. First posted on arXiv 1 Apr 2026.

Builds on

30 of 35 references.

References · 30

  1. 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
  2. 2025Qwen3 Technical Reportcited by 8,820
  3. 2023Reflexion: Language Agents with Verbal Reinforcement Learningcited by 4,276
  4. 2025Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilitiescited by 3,796
  5. 2023Self-Refine: Iterative Refinement with Self-Feedbackcited by 3,442
  6. 2024HybridFlow: A Flexible and Efficient RLHF Frameworkcited by 2,057
  7. 2024LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Codecited by 2,004
  8. 2023Teaching Large Language Models to Self-Debugcited by 988
  9. 2025AlphaEvolve: A coding agent for scientific and algorithmic discoverycited by 867
  10. 2024Training Language Models to Self-Correct via Reinforcement Learningcited by 426
  11. 2025Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correctioncited by 154
  12. 2025Competitive Programming with Large Reasoning Modelscited by 119
18 more
  1. 2025OpenCodeReasoning: Advancing Data Distillation for Competitive Codingcited by 113
  2. 2025Seed-Prover: Deep and Broad Reasoning for Automated Theorem Provingcited by 101
  3. 2025S*: Test Time Scaling for Code Generationcited by 98
  4. 2025Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2cited by 97
  5. 2024Can Language Models Solve Olympiad Programming?cited by 72
  6. 2025SETS: Leveraging Self-Verification and Self-Correction for Improved Test-Time Scalingcited by 54
  7. 2025CodeContests+: High-Quality Test Case Generation for Competitive Programmingcited by 46
  8. 2025Z1: Efficient Test-time Scaling with Codecited by 35
  9. 2025Solving Formal Math Problems by Decomposition and Iterative Reflectioncited by 35
  10. 2025Multi-Turn Code Generation Through Single-Step Rewardscited by 28
  11. 2025HardTests: Synthesizing High-Quality Test Cases for LLM Codingcited by 23
  12. 2025ProgCo: Program Helps Self-Correction of Large Language Modelscited by 14
  13. 2025StepFun-Prover Preview: Let's Think and Verify Step by Stepcited by 13
  14. 2025Scaling Test-Time Compute to Achieve IOI Gold Medal with Open-Weight Modelscited by 10
  15. 2025Klear-CodeTest: Scalable Test Case Generation for Code Reinforcement Learningcited by 9
  16. 2026Scaling Agentic Verifier for Competitive Codingcited by 7
  17. 2025ATGen: Adversarial Reinforcement Learning for Test Case Generationcited by 4
  18. 2025QueST: Incentivizing LLMs to Generate Difficult Problemscited by 4

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 2.

2 papers.

Similar, not cited

Close in wording, no citation either way

  1. 2025Reinforce LLM Reasoning through Multi-Agent Reflection
  2. 2026SVR: Self-Verifying Refinement via Joint Verdict-Confidence Reinforcement Learning for Adaptive Test-Time Compute
  3. 2025Nested-ReFT: Efficient Reinforcement Learning for Large Language Model Fine-Tuning via Off-Policy Rollouts
  4. 2026ReflexiCoder: Teaching Large Language Models to Self-Reflect on Generated Code and Self-Correct It via Reinforcement Learning
  5. 2026Resource-Efficient Reinforcement for Reasoning Large Language Models via Dynamic One-Shot Policy Refinement
  6. 2026One Refiner to Unlock Them All: Inference-Time Reasoning Elicitation via Reinforcement Query Refinement
  7. 2025Trust, But Verify: A Self-Verification Approach to Reinforcement Learning with Verifiable Rewards
  8. 2026ThinkTwice: Jointly Optimizing Large Language Models for Reasoning and Self-Refinement