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,540Updated 2 months ago
• deepseek-ai / DeepSeek-Prover-V1.5
  ☆553Updated last year
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆350Updated 6 months ago
• aw31 / openai-imo-2025-proofs
  ☆483Updated 6 months ago
• ByteDance-Seed / Seed-Prover
  ☆401Updated last month
• lyang36 / IMO25
  An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.
  ☆907Updated 4 months ago
• arcprize / ARC-AGI-2
  ☆615Updated 8 months ago
• deepseek-ai / DeepSeek-V3.2-Exp
  ☆1,452Updated 2 months ago
• microsoft / rStar
  ☆1,385Updated 4 months ago
• GAIR-NLP / LIMO
  [COLM 2025] LIMO: Less is More for Reasoning
  ☆1,061Updated 6 months ago
• openai / frontier-evals
  OpenAI Frontier Evals
  ☆990Updated last month
• NovaSky-AI / SkyThought
  Sky-T1: Train your own O1 preview model within $450
  ☆3,369Updated 6 months ago
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆1,203Updated 5 months ago
• MoonshotAI / Moonlight
  Muon is Scalable for LLM Training
  ☆1,421Updated 5 months ago
• project-numina / aimo-progress-prize
  ☆481Updated last year
• SakanaAI / continuous-thought-machines
  Continuous Thought Machines, because thought takes time and reasoning is a process.
  ☆1,741Updated last month
• seal-rg / recurrent-pretraining
  Pretraining and inference code for a large-scale depth-recurrent language model
  ☆861Updated last month
• facebookresearch / large_concept_model
  Large Concept Models: Language modeling in a sentence representation space
  ☆2,332Updated last year
• Goedel-LM / Goedel-Prover
  ☆225Updated 9 months ago
• SakanaAI / self-adaptive-llms
  A Self-adaptation Framework🐙 that adapts LLMs for unseen tasks in real-time!
  ☆1,185Updated last year
• MoonshotAI / Kimi-Linear
  ☆1,278Updated 2 months ago
• teorth / estimates
  Code to automatically prove or verify estimates in analysis
  ☆325Updated 7 months ago
• DreamLM / Dream
  Dream 7B, a large diffusion language model
  ☆1,157Updated 2 months ago
• SkyworkAI / Skywork-OR1
  Unleashing the Power of Reinforcement Learning for Math and Code Reasoners
  ☆740Updated 7 months ago
• safety-research / circuit-tracer
  ☆2,568Updated this week
• centerforaisafety / hle
  Humanity's Last Exam
  ☆1,323Updated 3 months ago
• qixucen / atom
  [NeurIPS 2025] Atom of Thoughts for Markov LLM Test-Time Scaling
  ☆640Updated 2 months ago
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆801Updated this week
• lmgame-org / GamingAgent
  [ICLR 2026] LLM/VLM gaming agents and model evaluation through games.
  ☆854Updated 2 months ago
• SakanaAI / ShinkaEvolve
  ShinkaEvolve: Towards Open-Ended and Sample-Efficient Program Evolution
  ☆812Updated last week