Alternatives and similar repositories for VeriFree

Users that are interested in VeriFree are comparing it to the libraries listed below

• ryoungj / BoLT
  Code for "Reasoning to Learn from Latent Thoughts"
  ☆124Updated 10 months ago
• sail-sg / feedback-conditional-policy
  Code for "Language Models Can Learn from Verbal Feedback Without Scalar Rewards"
  ☆59Updated last month
• LLM360 / Reasoning360
  A repo for open research on building large reasoning models
  ☆136Updated 2 weeks ago
• LAMDASZ-ML / Self-Backtracking
  ☆52Updated last year
• sail-sg / AnytimeReasoner
  Optimizing Anytime Reasoning via Budget Relative Policy Optimization
  ☆51Updated 6 months ago
• Yu-Fangxu / FoR
  [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examples
  ☆120Updated last week
• sail-sg / variational-reasoning
  Code for "Variational Reasoning for Language Models"
  ☆56Updated 4 months ago
• jwhj / OREO
  ☆117Updated last year
• PRIME-RL / RL-Compositionality
  FROM $f(x)$ AND $g(x)$ TO $f(g(x))$: LLMs Learn New Skills in RL by Composing Old Ones
  ☆60Updated 2 weeks ago
• Parallel-Reasoning / APR
  [COLM 2025] Code for Paper: Learning Adaptive Parallel Reasoning with Language Models
  ☆139Updated last month
• Zhiyuan-Zeng / RLVE
  [Preprint] RLVE: Scaling Up Reinforcement Learning for Language Models with Adaptive Verifiable Environments
  ☆177Updated last month
• Interplay-LM-Reasoning / Interplay-LM-Reasoning
  ☆135Updated 2 weeks ago
• spiral-rl / spiral
  SPIRAL: Self-Play on Zero-Sum Games Incentivizes Reasoning via Multi-Agent Multi-Turn Reinforcement Learning
  ☆175Updated 4 months ago
• SynthLabsAI / big-math
  A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models
  ☆72Updated 11 months ago
• complex-reasoning / RPG
  [ICLR 2026] RPG: KL-Regularized Policy Gradient (https://arxiv.org/abs/2505.17508)
  ☆65Updated 2 weeks ago
• bethgelab / sober-reasoning
  A Sober Look at Language Model Reasoning
  ☆92Updated 2 months ago
• holarissun / RewardModelingBeyondBradleyTerry
  official implementation of ICLR'2025 paper: Rethinking Bradley-Terry Models in Preference-based Reward Modeling: Foundations, Theory, and…
  ☆70Updated 10 months ago
• WindyLee0822 / Process_Q_Model
  official implementation of paper "Process Reward Model with Q-value Rankings"
  ☆65Updated last year
• sail-sg / dice
  Official implementation of Bootstrapping Language Models via DPO Implicit Rewards
  ☆47Updated 9 months ago
• CMU-AIRe / MRT
  Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".
  ☆116Updated 6 months ago
• test-time-interaction / TTI
  ☆72Updated 8 months ago
• katiekang1998 / reasoning_generalization
  ☆33Updated last year
• HKUNLP / critic-rl
  [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning
  ☆120Updated 9 months ago
• Gen-Verse / CURE
  [NeurIPS 2025 Spotlight] Co-Evolving LLM Coder and Unit Tester via Reinforcement Learning
  ☆149Updated 4 months ago
• McGill-NLP / VinePPO
  Code for the paper "VinePPO: Unlocking RL Potential For LLM Reasoning Through Refined Credit Assignment"
  ☆185Updated 8 months ago
• PRIME-RL / P1
  P1: Mastering Physics Olympiads with Reinforcement Learning
  ☆73Updated last month
• sail-sg / SkyLadder
  The official repository for SkyLadder: Better and Faster Pretraining via Context Window Scheduling
  ☆42Updated last month
• GAIR-NLP / OctoThinker
  Revisiting Mid-training in the Era of Reinforcement Learning Scaling
  ☆182Updated 6 months ago
• mandyyyyii / east
  ☆19Updated 6 months ago
• mukhal / ThinkPRM
  Process Reward Models That Think
  ☆78Updated 2 months ago