DeepSeek-Prover-V2
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.
Powered by a server managed by @empiriolabsai. Learn more
Build with DeepSeek-Prover-V2 using the Poe API
Start by creating an API key, for use with any bot on Poe:
See the full documentation for comprehensive guidance on getting started.
More from EmpirioLabs AI
New
DeepSeek-V4-Pro-E
New
DeepSeek-V4-Flash-E
DeepSeek-V4-Pro-EL
DeepSeek-V4-Flash-EL
HappyHorse-1.0-EL
MiMo-V2.5
MiMo-V2.5-Pro
Seed-2.0-Code
Seedream-5.0-Lite-EL
Qwen3.6-Max-Preview