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
  ☆898Updated this week
• deepseek-ai / DeepSeek-Prover-V1.5
  ☆543Updated last year
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆346Updated 4 months ago
• microsoft / rStar
  ☆1,344Updated 2 months ago
• MiniMax-AI / MiniMax-M1
  MiniMax-M1, the world's first open-weight, large-scale hybrid-attention reasoning model.
  ☆2,998Updated 4 months ago
• lyang36 / IMO25
  An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.
  ☆867Updated last month
• deepseek-ai / DeepSeek-V3.2-Exp
  ☆1,022Updated last week
• aw31 / openai-imo-2025-proofs
  ☆478Updated 4 months ago
• XiaomiMiMo / MiMo
  MiMo: Unlocking the Reasoning Potential of Language Model – From Pretraining to Posttraining
  ☆1,633Updated 5 months ago
• MoonshotAI / Moonlight
  Muon is Scalable for LLM Training
  ☆1,365Updated 3 months ago
• MoonshotAI / Kimi-Linear
  ☆1,215Updated 2 weeks ago
• SkyworkAI / Skywork-OR1
  Unleashing the Power of Reinforcement Learning for Math and Code Reasoners
  ☆731Updated 5 months 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,250Updated 4 months ago
• DreamLM / Dream
  Dream 7B, a large diffusion language model
  ☆1,085Updated last week
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆1,157Updated 3 months ago
• openai / frontier-evals
  OpenAI Frontier Evals
  ☆948Updated last month
• ByteDance-Seed / Seed-Prover
  ☆308Updated 2 months ago
• GAIR-NLP / LIMO
  [COLM 2025] LIMO: Less is More for Reasoning
  ☆1,051Updated 4 months ago
• QwenLM / Qwen3-Omni
  Qwen3-omni is a natively end-to-end, omni-modal LLM developed by the Qwen team at Alibaba Cloud, capable of understanding text, audio, im…
  ☆2,966Updated last month
• MoonshotAI / MoBA
  MoBA: Mixture of Block Attention for Long-Context LLMs
  ☆2,006Updated 7 months ago
• rllm-org / rllm
  Democratizing Reinforcement Learning for LLMs
  ☆4,770Updated last week
• arcprize / ARC-AGI-2
  ☆544Updated 6 months ago
• seal-rg / recurrent-pretraining
  Pretraining and inference code for a large-scale depth-recurrent language model
  ☆849Updated last month
• ByteDance-Seed / Seed-Coder
  Seed-Coder is a family of lightweight open-source code LLMs comprising base, instruct and reasoning models, developed by ByteDance Seed.
  ☆683Updated 5 months ago
• SakanaAI / text-to-lora
  Hypernetworks that adapt LLMs for specific benchmark tasks using only textual task description as the input
  ☆919Updated 5 months ago
• project-numina / aimo-progress-prize
  ☆474Updated last year
• Goedel-LM / Goedel-Prover
  ☆214Updated 7 months ago
• NVlabs / Jet-Nemotron
  ☆703Updated last week
• safety-research / circuit-tracer
  ☆2,449Updated 3 weeks ago
• ByteDance-Seed / Seed-Thinking-v1.5
  ☆819Updated 5 months ago