DeepSeek-Prover-V2-671B
Lowest Price
$0.50
per 1M tokens
Providers
1
Available
Context
N/A
tokens
Price Comparison
| Provider | Input / Output | Latency | Status | |
|---|---|---|---|---|
| DeepInfraLowest | $0.50/$2.18 | ... | Verified |
About This Model
DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4, with initialization data collected through a recursive theorem proving pipeline powered by DeepSeek-V3. The cold-start training procedure begins by prompting DeepSeek-V3 to decompose complex proble...
Quick Start