ganler / code-r1Links
Reproducing R1 for Code with Reliable Rewards
☆259Updated 5 months ago
Alternatives and similar repositories for code-r1
Users that are interested in code-r1 are comparing it to the libraries listed below
Sorting:
- ☆211Updated 8 months ago
- A lightweight reproduction of DeepSeek-R1-Zero with indepth analysis of self-reflection behavior.☆247Updated 6 months ago
- ☆300Updated 5 months ago
- [COLM 2025] Official repository for R2E-Gym: Procedural Environment Generation and Hybrid Verifiers for Scaling Open-Weights SWE Agents☆176Updated 3 months ago
- End-to-End Reinforcement Learning for Multi-Turn Tool-Integrated Reasoning☆305Updated last month
- A Comprehensive Survey on Long Context Language Modeling☆193Updated 3 months ago
- A version of verl to support diverse tool use☆607Updated last week
- Async pipelined version of Verl☆121Updated 6 months ago
- ☆323Updated 4 months ago
- L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning☆258Updated 5 months ago
- ☆210Updated 6 months ago
- [NeurIPS 2025 D&B] 🚀 SWE-bench Goes Live!☆128Updated last month
- ☆67Updated 6 months ago
- Repo of paper "Free Process Rewards without Process Labels"☆164Updated 7 months ago
- ☆139Updated last week
- ☆74Updated 11 months ago
- SWE-Swiss: A Multi-Task Fine-Tuning and RL Recipe for High-Performance Issue Resolution☆89Updated last month
- xVerify: Efficient Answer Verifier for Reasoning Model Evaluations☆135Updated 6 months ago
- ☆333Updated 2 months ago
- Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".☆112Updated 2 months ago
- Official Repository of "Learning to Reason under Off-Policy Guidance"☆348Updated 3 weeks ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆114Updated 5 months ago
- ☆65Updated 10 months ago
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆259Updated last year
- Homepage for ProLong (Princeton long-context language models) and paper "How to Train Long-Context Language Models (Effectively)"☆231Updated last month
- A Comprehensive Benchmark for Software Development.☆115Updated last year
- Based on the R1-Zero method, using rule-based rewards and GRPO on the Code Contests dataset.☆18Updated 6 months ago
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆143Updated last year
- A Framework for LLM-based Multi-Agent Reinforced Training and Inference☆301Updated last week
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆115Updated 10 months ago