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-Prover-V1.5
  ☆539Updated last year
• aw31 / openai-imo-2025-proofs
  ☆475Updated 2 months ago
• microsoft / rStar
  ☆1,283Updated 3 weeks ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆335Updated 3 months ago
• lyang36 / IMO25
  An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.
  ☆777Updated last week
• XiaomiMiMo / MiMo
  MiMo: Unlocking the Reasoning Potential of Language Model – From Pretraining to Posttraining
  ☆1,586Updated 4 months ago
• centerforaisafety / hle
  Humanity's Last Exam
  ☆1,117Updated 2 months ago
• openai / frontier-evals
  OpenAI Frontier Evals
  ☆903Updated 2 weeks ago
• rllm-org / rllm
  Democratizing Reinforcement Learning for LLMs
  ☆4,414Updated this week
• MiniMax-AI / MiniMax-M1
  MiniMax-M1, the world's first open-weight, large-scale hybrid-attention reasoning model.
  ☆2,912Updated 3 months ago
• GAIR-NLP / LIMO
  [COLM 2025] LIMO: Less is More for Reasoning
  ☆1,027Updated 2 months ago
• DreamLM / Dream
  Dream 7B, a large diffusion language model
  ☆991Updated 2 weeks ago
• MoonshotAI / Moonlight
  Muon is Scalable for LLM Training
  ☆1,321Updated 2 months ago
• openai / harmony
  Renderer for the harmony response format to be used with gpt-oss
  ☆3,854Updated last month
• Continual-Intelligence / SEAL
  Self-Adapting Language Models
  ☆800Updated 2 months ago
• safety-research / circuit-tracer
  ☆2,361Updated last week
• google-deepmind / alphaevolve_results
  ☆230Updated 3 months ago
• policy-gradient / GRPO-Zero
  Implementing DeepSeek R1's GRPO algorithm from scratch
  ☆1,596Updated 5 months ago
• SkyworkAI / Skywork-OR1
  Unleashing the Power of Reinforcement Learning for Math and Code Reasoners
  ☆722Updated 4 months ago
• GAIR-NLP / ASI-Arch
  AlphaGo Moment for Model Architecture Discovery.
  ☆1,087Updated 2 months ago
• ByteDance-Seed / Seed-Prover
  ☆296Updated 3 weeks ago
• SakanaAI / continuous-thought-machines
  Continuous Thought Machines, because thought takes time and reasoning is a process.
  ☆1,309Updated 2 months ago
• NovaSky-AI / SkyThought
  Sky-T1: Train your own O1 preview model within $450
  ☆3,339Updated 2 months ago
• Goedel-LM / Goedel-Prover
  ☆209Updated 6 months ago
• project-numina / aimo-progress-prize
  ☆466Updated last year
• deepseek-ai / DeepSeek-V3.2-Exp
  ☆828Updated last week
• SakanaAI / self-adaptive-llms
  A Self-adaptation Framework🐙 that adapts LLMs for unseen tasks in real-time!
  ☆1,151Updated 8 months ago
• LeapLabTHU / Absolute-Zero-Reasoner
  Official Repository of Absolute Zero Reasoner
  ☆1,699Updated last month
• seal-rg / recurrent-pretraining
  Pretraining and inference code for a large-scale depth-recurrent language model
  ☆830Updated last month
• thinking-machines-lab / tinker-cookbook
  Post-training with Tinker
  ☆550Updated last week