Alternatives and similar repositories for FormalMATH-Bench:

Users that are interested in FormalMATH-Bench are comparing it to the libraries listed below

• zhaoxlpku / SubgoalXL
  ☆25Updated 8 months ago
• Lagooon / LeanSTaR
  ☆43Updated 7 months ago
• MoonshotAI / CombiBench
  ☆17Updated last week
• StigLidu / TURN
  [ICML2025] Official Repo for Paper "Optimizing Temperature for Language Models with Multi-Sample Inference"
  ☆16Updated 2 months ago
• LMCRC / Newclid
  Automatic solver for plane geometry problems.
  ☆27Updated last week
• KbsdJames / Omni-MATH
  The official repository of the Omni-MATH benchmark.
  ☆83Updated 4 months ago
• wiio12 / LEGO-Prover
  Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
  ☆61Updated last year
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆79Updated last month
• rookie-joe / FormalAlign
  ☆14Updated 5 months ago
• zitian-gao / SC-MCTS
  Interpretable Contrastive Monte Carlo Tree Search Reasoning
  ☆48Updated 6 months ago
• mathllm / Step-Controlled_DPO
  ☆22Updated 10 months ago
• GAIR-NLP / OctoThinker
  Revisiting Mid-training in the Era of RL Scaling
  ☆36Updated 2 weeks ago
• HKUNLP / critic-rl
  [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning
  ☆93Updated this week
• Eleanor-H / MUSTARD
  Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
  ☆41Updated 11 months ago
• wellecks / lm-evaluation-harness
  A framework for few-shot evaluation of autoregressive language models.
  ☆24Updated last year
• GAIR-NLP / ReasonEval
  [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy
  ☆60Updated 4 months ago
• Edward-Sun / easy-to-hard
  Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision
  ☆120Updated 8 months ago
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆42Updated 7 months ago
• SynthLabsAI / big-math
  A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models
  ☆52Updated 2 months ago
• thu-ml / Noise-Contrastive-Alignment
  Code accompanying the paper "Noise Contrastive Alignment of Language Models with Explicit Rewards" (NeurIPS 2024)
  ☆51Updated 6 months ago
• GAIR-NLP / self-improvement-reversal
  ☆13Updated 9 months ago
• whyNLP / Conic10K
  Conic10K: A large-scale dataset for closed-vocabulary math problem understanding. Accepted to EMNLP2023 Findings.
  ☆25Updated last year
• ryoungj / BoLT
  Code for "Reasoning to Learn from Latent Thoughts"
  ☆93Updated last month
• YangLing0818 / SuperCorrect-llm
  [ICLR 2025] SuperCorrect: Advancing Small LLM Reasoning with Thought Template Distillation and Self-Correction
  ☆69Updated last month
• hkust-nlp / dart-math
  [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*
  ☆105Updated 5 months ago
• rookie-joe / AutoPSV
  ☆45Updated 6 months ago
• TIGER-AI-Lab / TheoremQA
  The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)
  ☆31Updated 11 months ago
• PKU-ML / LongPPL
  Code for ICLR 2025 Paper "What is Wrong with Perplexity for Long-context Language Modeling?"
  ☆63Updated last month
• imagination-research / lbt
  [NeurIPS 2024] Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study
  ☆49Updated 5 months ago
• albertqjiang / MMA
  The official repository for the paper Multilingual Mathematical Autoformalization
  ☆35Updated 11 months ago