Alternatives and similar repositories for verifiers:

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

• open-thought / reasoning-gym
  procedural reasoning datasets
  ☆541Updated this week
• huggingface / search-and-learn
  Recipes to scale inference-time compute of open models
  ☆1,048Updated last month
• bespokelabsai / curator
  Synthetic data curation for post-training and structured data extraction
  ☆1,097Updated this week
• open-thought / system-2-research
  System 2 Reasoning Link Collection
  ☆812Updated 2 weeks ago
• SWE-Gym / SWE-Gym
  Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym
  ☆403Updated 2 weeks ago
• groundlight / r1_vlm
  Build your own visual reasoning model
  ☆320Updated this week
• NousResearch / Open-Reasoning-Tasks
  A comprehensive repository of reasoning tasks for LLMs (and beyond)
  ☆425Updated 6 months ago
• facebookresearch / coconut
  Training Large Language Model to Reason in a Continuous Latent Space
  ☆1,015Updated 2 months ago
• trotsky1997 / MathBlackBox
  ☆1,011Updated 3 months ago
• srush / awesome-o1
  A bibliography and survey of the papers surrounding o1
  ☆1,183Updated 4 months ago
• RAGEN-AI / RAGEN
  RAGEN leverages reinforcement learning to train LLM reasoning agents in interactive, stochastic environments.
  ☆1,265Updated this week
• zhentingqi / rStar
  ☆913Updated 2 months ago
• huggingface / Math-Verify
  ☆574Updated 2 weeks ago
• mlfoundations / evalchemy
  Automatic evals for LLMs
  ☆346Updated this week
• seal-rg / recurrent-pretraining
  Pretraining code for a large-scale depth-recurrent language model
  ☆709Updated 2 weeks ago
• arcee-ai / DistillKit
  An Open Source Toolkit For LLM Distillation
  ☆554Updated 2 months ago
• PeterGriffinJin / Search-R1
  Search-R1: An Efficient, Scalable RL Training Framework for Reasoning & Search Engine Calling interleaved LLM based on veRL
  ☆1,466Updated this week
• microsoft / rStar
  ☆493Updated this week
• GAIR-NLP / LIMO
  LIMO: Less is More for Reasoning
  ☆875Updated last month
• huggingface / lighteval
  Lighteval is your all-in-one toolkit for evaluating LLMs across multiple backends
  ☆1,336Updated this week
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆725Updated this week
• qixucen / atom
  ☆526Updated this week
• SimpleBerry / LLaMA-O1
  Large Reasoning Models
  ☆800Updated 3 months ago
• openai / mle-bench
  MLE-bench is a benchmark for measuring how well AI agents perform at machine learning engineering
  ☆656Updated 2 months ago
• facebookresearch / MLGym
  MLGym A New Framework and Benchmark for Advancing AI Research Agents
  ☆459Updated this week
• huggingface / cosmopedia
  ☆504Updated 4 months ago
• ekinakyurek / marc
  Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"
  ☆300Updated 4 months ago
• facebookresearch / swe-rl
  Official codebase for "SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution"
  ☆477Updated 2 weeks ago
• sierra-research / tau-bench
  Code and Data for Tau-Bench
  ☆358Updated 2 months ago
• facebookresearch / memory
  Memory layers use a trainable key-value lookup mechanism to add extra parameters to a model without increasing FLOPs. Conceptually, spars…
  ☆311Updated 3 months ago