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
  ☆536Updated last year
• microsoft / rStar
  ☆1,233Updated this week
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆327Updated 2 months ago
• MiniMax-AI / MiniMax-M1
  MiniMax-M1, the world's first open-weight, large-scale hybrid-attention reasoning model.
  ☆2,873Updated 2 months ago
• lyang36 / IMO25
  An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.
  ☆750Updated 3 weeks ago
• openai / preparedness
  Releases from OpenAI Preparedness
  ☆860Updated 3 weeks ago
• centerforaisafety / hle
  Humanity's Last Exam
  ☆1,098Updated last month
• GAIR-NLP / LIMO
  [COLM 2025] LIMO: Less is More for Reasoning
  ☆1,018Updated last month
• SkyworkAI / Skywork-OR1
  Unleashing the Power of Reinforcement Learning for Math and Code Reasoners
  ☆713Updated 3 months ago
• XiaomiMiMo / MiMo
  MiMo: Unlocking the Reasoning Potential of Language Model – From Pretraining to Posttraining
  ☆1,550Updated 3 months ago
• DreamLM / Dream
  Dream 7B, a large diffusion language model
  ☆970Updated 3 weeks ago
• aw31 / openai-imo-2025-proofs
  ☆477Updated 2 months ago
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆1,085Updated 3 weeks ago
• MoonshotAI / Moonlight
  Muon is Scalable for LLM Training
  ☆1,311Updated last month
• GAIR-NLP / ASI-Arch
  AlphaGo Moment for Model Architecture Discovery.
  ☆1,072Updated last month
• safety-research / circuit-tracer
  ☆2,335Updated 2 weeks ago
• seal-rg / recurrent-pretraining
  Pretraining and inference code for a large-scale depth-recurrent language model
  ☆827Updated last week
• NovaSky-AI / SkyThought
  Sky-T1: Train your own O1 preview model within $450
  ☆3,327Updated 2 months ago
• zai-org / GLM-4.5
  GLM-4.5: An open-source large language model designed for intelligent agents by Z.ai
  ☆2,565Updated last week
• ByteDance-Seed / Seed-Prover
  ☆291Updated last month
• MoonshotAI / Kimi-k1.5
  ☆3,464Updated 6 months ago
• natolambert / rlhf-book
  Textbook on reinforcement learning from human feedback
  ☆1,221Updated this week
• BICLab / SpikingBrain-7B
  ☆590Updated this week
• policy-gradient / GRPO-Zero
  Implementing DeepSeek R1's GRPO algorithm from scratch
  ☆1,562Updated 5 months ago
• facebookresearch / coconut
  Training Large Language Model to Reason in a Continuous Latent Space
  ☆1,265Updated last month
• google-deepmind / alphaevolve_results
  ☆226Updated 2 months ago
• rllm-org / rllm
  Democratizing Reinforcement Learning for LLMs
  ☆4,177Updated this week
• 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,142Updated 2 months ago
• ByteDance-Seed / Seed-Thinking-v1.5
  ☆814Updated 3 months ago
• Goedel-LM / Goedel-Prover
  ☆207Updated 5 months ago