Alternatives and similar repositories for DeepSeek-Prover-V2

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

• XiaomiMiMo / MiMo
  MiMo: Unlocking the Reasoning Potential of Language Model – From Pretraining to Posttraining
  ☆1,496Updated last month
• openai / preparedness
  Releases from OpenAI Preparedness
  ☆793Updated this week
• MiniMax-AI / MiniMax-M1
  MiniMax-M1, the world's first open-weight, large-scale hybrid-attention reasoning model.
  ☆2,665Updated last week
• deepseek-ai / DeepSeek-Prover-V1.5
  ☆527Updated 11 months ago
• centerforaisafety / hle
  Humanity's Last Exam
  ☆925Updated last month
• agentica-project / rllm
  Democratizing Reinforcement Learning for LLMs
  ☆3,801Updated this week
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆301Updated last week
• safety-research / circuit-tracer
  ☆2,157Updated last week
• MoonshotAI / Moonlight
  Muon is Scalable for LLM Training
  ☆1,093Updated 3 months ago
• DreamLM / Dream
  Dream 7B, a large diffusion language model
  ☆839Updated 3 weeks ago
• seal-rg / recurrent-pretraining
  Pretraining code for a large-scale depth-recurrent language model
  ☆801Updated this week
• natolambert / rlhf-book
  Textbook on reinforcement learning from human feedback
  ☆1,097Updated this week
• facebookresearch / coconut
  Training Large Language Model to Reason in a Continuous Latent Space
  ☆1,185Updated 5 months ago
• openai / SWELancer-Benchmark
  This repo contains the dataset and code for the paper "SWE-Lancer: Can Frontier LLMs Earn $1 Million from Real-World Freelance Software E…
  ☆1,435Updated 2 months ago
• GAIR-NLP / LIMO
  [COLM 2025] LIMO: Less is More for Reasoning
  ☆980Updated last week
• SakanaAI / text-to-lora
  Hypernetworks that adapt LLMs for specific benchmark tasks using only textual task description as the input
  ☆798Updated last month
• policy-gradient / GRPO-Zero
  Implementing DeepSeek R1's GRPO algorithm from scratch
  ☆1,469Updated 2 months ago
• SakanaAI / self-adaptive-llms
  A Self-adaptation Framework🐙 that adapts LLMs for unseen tasks in real-time!
  ☆1,123Updated 5 months ago
• SkyworkAI / Skywork-OR1
  Unleashing the Power of Reinforcement Learning for Math and Code Reasoners
  ☆645Updated last month
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆1,023Updated 2 weeks ago
• Continual-Intelligence / SEAL
  Self-Adapting Language Models
  ☆697Updated 3 weeks ago
• codelion / openevolve
  Open-source implementation of AlphaEvolve
  ☆3,208Updated this week
• SakanaAI / continuous-thought-machines
  Continuous Thought Machines, because thought takes time and reasoning is a process.
  ☆1,176Updated this week
• facebookresearch / large_concept_model
  Large Concept Models: Language modeling in a sentence representation space
  ☆2,246Updated 5 months ago
• MoonshotAI / Kimi-K2
  Kimi K2 is the large language model series developed by Moonshot AI team
  ☆1,850Updated this week
• LeapLabTHU / Absolute-Zero-Reasoner
  Official Repository of Absolute Zero Reasoner
  ☆1,601Updated 2 weeks ago
• facebookresearch / blt
  Code for BLT research paper
  ☆1,736Updated last month
• qixucen / atom
  Atom of Thoughts for Markov LLM Test-Time Scaling
  ☆579Updated last month
• ML-GSAI / LLaDA
  Official PyTorch implementation for "Large Language Diffusion Models"
  ☆2,572Updated last month
• open-thought / reasoning-gym
  procedural reasoning datasets
  ☆960Updated last week