Open-source alternatives to CodeV R1

Open-r1 is a framework designed for the large-scale training, distillation, and optimization of language models focused on complex reasoning and programming tasks. It provides a comprehensive suite of tools for managing distributed training jobs across multi-node clusters, enabling the development of high-performance models through reinforcement learning and supervised fine-tuning. The project distinguishes itself by integrating secure, containerized code execution environments directly into the training and evaluation lifecycle. By allowing models to run and verify code snippets against test

[arXiv](https://arxiv.org/abs/2507.08649) | [Codes](https://github.com/Leanabell-LM/Leanabell-Prover-V2) | [🤗 Huggingface] Xingguang Ji, Yahui Liu, Qi Wang$^{\heartsuit}$, Jingyuan Zhang, Yang Yue, Rui Shi, Chenxi Sun, Fuzheng Zhang, Guorui Zhou, Kun Gai

Fortune is a framework for symbolic table reasoning using large language models (LLMs). Unlike prior approaches that rely heavily on supervised fine-tuning (SFT) with annotated formulas, Fortune introduces a reinforcement learning (RL) framework that learns directly from binary answer…

This is the Github Repo for the paper: VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation

✊ Unleashing the Power of Reinforcement Learning for Math and Code Reasoners 🤖

We introduce StepFun-Prover-Preview, large language models designed for formal theorem proving through tool-integrated reasoning. Using a reinforcement learning pipeline that incorporates tool-based interactions, StepFun-Prover Preview can achieve strong performance in generating Lean 4 proofs…

SQL-R1: Training Natural Language to SQL Reasoning Model By Reinforcement Learning

ICLR'26 MedAgentGYM: Training LLM Agents for Code-Based Medical Reasoning at Scale