Entity
DeepSeek-Prover-V2
A reasoning-focused model specialized for mathematical and logical tasks, available in 671B and 7B parameter versions.
术语属性
- Focus：Mathematical and logical reasoning
- Parameter Sizes：671B, 7B
Entity
A reasoning-focused model specialized for mathematical and logical tasks, available in 671B and 7B parameter versions.