Alternatives and similar repositories for ProverGen

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

• sail-sg / CPO
  [NeurIPS 2024] The official implementation of paper: Chain of Preference Optimization: Improving Chain-of-Thought Reasoning in LLMs.
  ☆125Updated 4 months ago
• YangLing0818 / SuperCorrect-llm
  [ICLR 2025] SuperCorrect: Advancing Small LLM Reasoning with Thought Template Distillation and Self-Correction
  ☆76Updated 4 months ago
• NineAbyss / S2R
  This is the official implementation of the paper "S²R: Teaching LLMs to Self-verify and Self-correct via Reinforcement Learning"
  ☆69Updated 3 months ago
• KbsdJames / Omni-MATH
  The official repository of the Omni-MATH benchmark.
  ☆85Updated 7 months ago
• Sphere-AI-Lab / FormalMATH-Bench
  ☆58Updated 3 weeks ago
• rookie-joe / AutoPSV
  ☆48Updated 9 months ago
• LightChen233 / reasoning-boundary
  ☆67Updated last month
• HKUNLP / critic-rl
  [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning
  ☆105Updated 3 months ago
• THUDM / T1
  RL Scaling and Test-Time Scaling (ICML'25)
  ☆109Updated 6 months ago
• GAIR-NLP / self-improvement-reversal
  ☆13Updated last year
• GAIR-NLP / OctoThinker
  Revisiting Mid-training in the Era of Reinforcement Learning Scaling
  ☆161Updated 2 weeks ago
• RyanLiu112 / GenPRM
  Official codebase for "GenPRM: Scaling Test-Time Compute of Process Reward Models via Generative Reasoning".
  ☆80Updated 2 months ago
• MiniMax-AI / SynLogic
  The official repo of SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
  ☆160Updated last month
• PRIME-RL / ImplicitPRM
  Repo of paper "Free Process Rewards without Process Labels"
  ☆160Updated 4 months ago
• Lagooon / LeanSTaR
  ☆41Updated 10 months ago
• yayayacc / MUR
  ☆40Updated last week
• zitian-gao / SC-MCTS
  Interpretable Contrastive Monte Carlo Tree Search Reasoning
  ☆48Updated 8 months ago
• OSU-NLP-Group / WebDreamer
  "Is Your LLM Secretly a World Model of the Internet? Model-Based Planning for Web Agents"
  ☆78Updated 3 months ago
• fangyuan-ksgk / CoT-Reasoning-without-Prompting
  Unofficial Implementation of Chain-of-Thought Reasoning Without Prompting
  ☆32Updated last year
• test-time-interaction / TTI
  ☆53Updated last month
• TIGER-AI-Lab / CritiqueFineTuning
  Code for "Critique Fine-Tuning: Learning to Critique is More Effective than Learning to Imitate" [COLM 2025]
  ☆169Updated 3 weeks ago
• icip-cas / Verifier-Engineering
  Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering
  ☆61Updated 8 months ago
• ruixin31 / Spurious_Rewards
  ☆322Updated last week
• hkust-nlp / dart-math
  [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*
  ☆110Updated 7 months ago
• LAMDASZ-ML / Self-Backtracking
  ☆47Updated 5 months ago
• scaleapi / plansearch
  e
  ☆39Updated 3 months ago
• GAIR-NLP / weak-to-strong-reasoning
  ☆59Updated 11 months ago
• zhaoxlpku / SubgoalXL
  ☆25Updated 11 months ago
• TIGER-AI-Lab / TheoremQA
  The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)
  ☆32Updated last year
• kanishkg / cognitive-behaviors
  ☆203Updated 4 months ago