DeepSeek-Prover-V2

Pricing

Type	Cost
Per Message	667 points
Initial Points Cost	667 points

Last Checked: 2025-09-20 12:07:22.241826

Bot Information

Creator: @empiriolabsai

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.

Extra: Powered by a server managed by @empiriolabsai. Learn more

Architecture

Input Modalities: text

Output Modalities: text

Modality: text->text

Technical Details

Model ID: DeepSeek-Prover-V2

Object Type: model

Created: 1747979752008

Owned By: poe

Root: DeepSeek-Prover-V2