Alternatives and similar repositories for DeepSeek-Prover-V2

Users that are interested in DeepSeek-Prover-V2 are comparing it to the libraries listed below

• deepseek-ai / DeepSeek-Math-V2
  ☆1,515Updated last month
• deepseek-ai / DeepSeek-Prover-V1.5
  ☆551Updated last year
• deepseek-ai / DeepSeek-V3.2-Exp
  ☆1,405Updated last month
• aw31 / openai-imo-2025-proofs
  ☆482Updated 5 months ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆350Updated 6 months ago
• microsoft / rStar
  ☆1,377Updated 3 months ago
• MoonshotAI / Moonlight
  Muon is Scalable for LLM Training
  ☆1,397Updated 5 months ago
• MoonshotAI / Kimi-Linear
  ☆1,257Updated last month
• lyang36 / IMO25
  An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.
  ☆899Updated 3 months ago
• ByteDance-Seed / Seed-Prover
  ☆395Updated 2 weeks ago
• openai / frontier-evals
  OpenAI Frontier Evals
  ☆971Updated last month
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆1,181Updated 4 months ago
• policy-gradient / GRPO-Zero
  Implementing DeepSeek R1's GRPO algorithm from scratch
  ☆1,729Updated 8 months ago
• centerforaisafety / hle
  Humanity's Last Exam
  ☆1,294Updated 3 months ago
• GAIR-NLP / LIMO
  [COLM 2025] LIMO: Less is More for Reasoning
  ☆1,059Updated 5 months ago
• project-numina / aimo-progress-prize
  ☆478Updated last year
• seal-rg / recurrent-pretraining
  Pretraining and inference code for a large-scale depth-recurrent language model
  ☆857Updated last week
• DreamLM / Dream
  Dream 7B, a large diffusion language model
  ☆1,134Updated last month
• SkyworkAI / Skywork-OR1
  Unleashing the Power of Reinforcement Learning for Math and Code Reasoners
  ☆737Updated 7 months ago
• SakanaAI / text-to-lora
  Hypernetworks that adapt LLMs for specific benchmark tasks using only textual task description as the input
  ☆934Updated 7 months ago
• arcprize / ARC-AGI-2
  ☆600Updated 7 months ago
• XiaomiMiMo / MiMo
  MiMo: Unlocking the Reasoning Potential of Language Model – From Pretraining to Posttraining
  ☆1,896Updated 7 months ago
• SakanaAI / ShinkaEvolve
  ShinkaEvolve: Towards Open-Ended and Sample-Efficient Program Evolution
  ☆773Updated this week
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆752Updated this week
• Goedel-LM / Goedel-Prover
  ☆224Updated 9 months ago
• thinking-machines-lab / tinker-cookbook
  Post-training with Tinker
  ☆2,699Updated this week
• facebookresearch / coconut
  Training Large Language Model to Reason in a Continuous Latent Space
  ☆1,430Updated 4 months ago
• Continual-Intelligence / SEAL
  Self-Adapting Language Models
  ☆1,637Updated 5 months ago
• facebookresearch / cwm
  Research code artifacts for Code World Model (CWM) including inference tools, reproducibility, and documentation.
  ☆792Updated 2 weeks ago
• MiniMax-AI / MiniMax-01
  The official repo of MiniMax-Text-01 and MiniMax-VL-01, large-language-model & vision-language-model based on Linear Attention
  ☆3,290Updated 6 months ago