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
Fugu-Ultra
New
HappyHorse-1.1
New
Kling-3.0-Turbo
GLM-5.2-EL
Kimi-K2.7-Code-EL
Qwen3.7-Plus
MiniMax-M3-EL
Grok-Imgn-Video-1.5
Qwen3.7-Max
Qwen3.5-4B-EL