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"
  ☆114Updated 4 months ago
• katiekang1998 / reasoning_generalization
  ☆34Updated 6 months ago
• hamishivi / automated-instruction-selection
  Exploration of automated dataset selection approaches at large scales.
  ☆47Updated 5 months ago
• LLM360 / Reasoning360
  A repo for open research on building large reasoning models
  ☆84Updated this week
• bethgelab / sober-reasoning
  A Sober Look at Language Model Reasoning
  ☆81Updated last month
• mandyyyyii / east
  ☆20Updated 3 months ago
• ScalingIntelligence / large_language_monkeys
  ☆101Updated 10 months ago
• sail-sg / SkyLadder
  The official repository for SkyLadder: Better and Faster Pretraining via Context Window Scheduling
  ☆33Updated last week
• WindyLee0822 / Process_Q_Model
  official implementation of paper "Process Reward Model with Q-value Rankings"
  ☆60Updated 5 months ago
• sail-sg / dice
  Official implementation of Bootstrapping Language Models via DPO Implicit Rewards
  ☆44Updated 3 months ago
• sail-sg / AnytimeReasoner
  Optimizing Anytime Reasoning via Budget Relative Policy Optimization
  ☆43Updated 2 weeks ago
• LAMDASZ-ML / Self-Backtracking
  ☆47Updated 5 months ago
• hkust-nlp / B-STaR
  B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners
  ☆82Updated 2 months ago
• JacobPfau / fillerTokens
  ☆67Updated last year
• PKU-ML / LongPPL
  Code for ICLR 2025 Paper "What is Wrong with Perplexity for Long-context Language Modeling?"
  ☆92Updated last week
• shenao-zhang / SELM
  The official implementation of Self-Exploring Language Models (SELM)
  ☆64Updated last year
• hughbzhang / o1_inference_scaling_laws
  Replicating O1 inference-time scaling laws
  ☆89Updated 8 months ago
• facebookresearch / AbstentionBench
  A holistic benchmark for LLM abstention
  ☆41Updated last week
• GAIR-NLP / OctoThinker
  Revisiting Mid-training in the Era of Reinforcement Learning Scaling
  ☆159Updated last week
• Yu-Fangxu / FoR
  [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examples
  ☆103Updated last week
• architsharma97 / dpo-rlaif
  ☆99Updated last year
• jwhj / OREO
  ☆114Updated 6 months ago
• ucl-dark / llm_debate
  Code release for "Debating with More Persuasive LLMs Leads to More Truthful Answers"
  ☆113Updated last year
• haozheji / exact-optimization
  ICML 2024 - Official Repository for EXO: Towards Efficient Exact Optimization of Language Model Alignment
  ☆58Updated last year
• spiral-rl / spiral
  SPIRAL: Self-Play on Zero-Sum Games Incentivizes Reasoning via Multi-Agent Multi-Turn Reinforcement Learning
  ☆126Updated last week
• 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…
  ☆28Updated 7 months ago
• haonan3 / AnchorContext
  AnchorAttention: Improved attention for LLMs long-context training
  ☆212Updated 6 months ago
• mukhal / ThinkPRM
  Process Reward Models That Think
  ☆47Updated 3 weeks ago
• HKUNLP / critic-rl
  [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning
  ☆105Updated 2 months ago
• google-deepmind / bbeh
  ☆85Updated 2 months ago