DeepSeek-Prover-V2
DeepSeek-Prover-V2 is an open-source large language model specifically designed for formal theorem proving in Lean 4. T…
Live
Open / InstallLast updated July 27, 2026
Description
DeepSeek-Prover-V2 is an open-source large language model specifically designed for formal theorem proving in Lean 4. The model builds on a recursive theorem proving pipeline powered by the company's DeepSeek-V3 foundation model.
Author
EmpirioLabs AI
Platform
web
Pricing model
free
Categories
Productivity
Tags
poe
empiriolabs-ai
text
Capabilities
- Text input
- Text generation
- By EmpirioLabs AI