DeepSeek Prover V2 Files

Advancing Formal Mathematical Reasoning via Reinforcement Learning

This is an exact mirror of the DeepSeek Prover V2 project, hosted at https://github.com/deepseek-ai/DeepSeek-Prover-V2. SourceForge is not affiliated with DeepSeek Prover V2.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size
DeepSeek-Prover-V2 source code.tar.gz	2025-07-18	2.2 MB
DeepSeek-Prover-V2 source code.zip	2025-07-18	2.2 MB
Totals: 2 Items		4.5 MB

Other Useful Business Software

AI-generated apps that pass security review

Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.

Try Retool free

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

Start Free

Recommended Projects

$DeepSeek Math$

DeepSeek Math
Pushing the Limits of Mathematical Reasoning in Open Language Models
Lean Copilot
LLMs as Copilots for Theorem Proving in Lean
Lean 4
Lean 4 programming language and theorem prover
DeepSeekMath-V2
Towards self-verifiable mathematical reasoning
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems

DeepSeek Prover V2 Files

Advancing Formal Mathematical Reasoning via Reinforcement Learning

Get an email when there's a new version of DeepSeek Prover V2