LangMart: DeepSeek: DeepSeek Prover V2
Model Overview
| Property | Value |
|---|---|
| Model ID | openrouter/deepseek/deepseek-prover-v2 |
| Name | DeepSeek: DeepSeek Prover V2 |
| Provider | deepseek |
| Released | 2025-04-30 |
Description
DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5 Not much is known about the model yet, as DeepSeek released it on Hugging Face without an announcement or description.
Description
LangMart: DeepSeek: DeepSeek Prover V2 is a language model provided by deepseek. This model offers advanced capabilities for natural language processing tasks.
Provider
deepseek
Specifications
| Spec | Value |
|---|---|
| Context Window | 163,840 tokens |
| Modalities | text->text |
| Input Modalities | text |
| Output Modalities | text |
Pricing
| Type | Price |
|---|---|
| Input | $0.50 per 1M tokens |
| Output | $2.18 per 1M tokens |
Capabilities
- Frequency penalty
- Max tokens
- Min p
- Presence penalty
- Repetition penalty
- Response format
- Seed
- Stop
- Temperature
- Top k
- Top p
Detailed Analysis
DeepSeek: DeepSeek Prover V2