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
Qwen3.7-Max
Qwen3.5-4B-EL
Qwen3.5-9B-EL
Gemma-4-26B-A4B-EL
DeepSeek-V4-Pro-E
DeepSeek-V4-Flash-E
DeepSeek-V4-Pro-EL
DeepSeek-V4-Flash-EL
HappyHorse-1.0-EL
MiMo-V2.5