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"
  ☆119Updated 6 months ago
• LLM360 / Reasoning360
  A repo for open research on building large reasoning models
  ☆105Updated this week
• katiekang1998 / reasoning_generalization
  ☆33Updated 8 months ago
• Parallel-Reasoning / APR
  [COLM 2025] Code for Paper: Learning Adaptive Parallel Reasoning with Language Models
  ☆129Updated last month
• sail-sg / feedback-conditional-policy
  Code for "Language Models Can Learn from Verbal Feedback Without Scalar Rewards"
  ☆33Updated this week
• sail-sg / dice
  Official implementation of Bootstrapping Language Models via DPO Implicit Rewards
  ☆44Updated 5 months ago
• bethgelab / sober-reasoning
  A Sober Look at Language Model Reasoning
  ☆83Updated 3 weeks ago
• sail-sg / variational-reasoning
  Code for "Variational Reasoning for Language Models"
  ☆38Updated this week
• Yu-Fangxu / FoR
  [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examples
  ☆106Updated 2 months ago
• WindyLee0822 / Process_Q_Model
  official implementation of paper "Process Reward Model with Q-value Rankings"
  ☆63Updated 7 months ago
• SynthLabsAI / big-math
  A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models
  ☆65Updated 7 months ago
• LAMDASZ-ML / Self-Backtracking
  ☆48Updated 7 months ago
• holarissun / RewardModelingBeyondBradleyTerry
  official implementation of ICLR'2025 paper: Rethinking Bradley-Terry Models in Preference-based Reward Modeling: Foundations, Theory, and…
  ☆66Updated 6 months ago
• spiral-rl / spiral
  SPIRAL: Self-Play on Zero-Sum Games Incentivizes Reasoning via Multi-Agent Multi-Turn Reinforcement Learning
  ☆151Updated 2 weeks ago
• sail-sg / AnytimeReasoner
  Optimizing Anytime Reasoning via Budget Relative Policy Optimization
  ☆47Updated 2 months ago
• test-time-interaction / TTI
  ☆62Updated 3 months ago
• GAIR-NLP / OctoThinker
  Revisiting Mid-training in the Era of Reinforcement Learning Scaling
  ☆176Updated 2 months ago
• hamishivi / automated-instruction-selection
  Exploration of automated dataset selection approaches at large scales.
  ☆47Updated 7 months ago
• sail-sg / SkyLadder
  The official repository for SkyLadder: Better and Faster Pretraining via Context Window Scheduling
  ☆34Updated last month
• McGill-NLP / VinePPO
  Code for the paper "VinePPO: Unlocking RL Potential For LLM Reasoning Through Refined Credit Assignment"
  ☆172Updated 4 months ago
• hkust-nlp / B-STaR
  B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners
  ☆85Updated 4 months ago
• zitian-gao / SC-MCTS
  Interpretable Contrastive Monte Carlo Tree Search Reasoning
  ☆48Updated 10 months ago
• jwhj / OREO
  ☆116Updated 8 months ago
• yihedeng9 / rlhf-summary-notes
  A brief and partial summary of RLHF algorithms.
  ☆132Updated 7 months ago
• PKU-ML / LongPPL
  Code for ICLR 2025 Paper "What is Wrong with Perplexity for Long-context Language Modeling?"
  ☆100Updated 2 months ago
• haozheji / exact-optimization
  ICML 2024 - Official Repository for EXO: Towards Efficient Exact Optimization of Language Model Alignment
  ☆58Updated last year
• Infini-AI-Lab / GRESO
  ☆60Updated 3 months ago
• WeiXiongUST / Building-Math-Agents-with-Multi-Turn-Iterative-Preference-Learning
  This is an official implementation of the paper ``Building Math Agents with Multi-Turn Iterative Preference Learning'' with multi-turn DP…
  ☆30Updated 9 months ago
• ScalingIntelligence / large_language_monkeys
  ☆104Updated last year
• PRIME-RL / ImplicitPRM
  Repo of paper "Free Process Rewards without Process Labels"
  ☆164Updated 6 months ago