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 Empirio Labs AI
New
Seedance-2.0-Fast-EL
New
Seedance-2.0-Pro-EL
New
DeepSeek-V3.2-EL
Wan-2.7
Qwen3.6-Plus
Wan2.7-Image
Qwen3.5-Omni-Flash
Qwen3.5-Omni-Plus
Seed-2.0-Pro
MiMo-V2-Omni