# DeepSeek Prover models

DeepSeek Prover has 6 versions on record.

- Canonical: https://alexgetman.com/models/deepseek/families/deepseek-prover/

## Models

- [DeepSeek Prover V2 7B](https://alexgetman.com/models/deepseek/deepseek-prover-v2-7b/): Open weights
- [DeepSeek Prover V2 671B](https://alexgetman.com/models/deepseek/deepseek-prover-v2-671b/): Open weights
- [DeepSeek Prover V1.5 SFT](https://alexgetman.com/models/deepseek/deepseek-prover-v1-5-sft/): Open weights
- [DeepSeek Prover V1.5 RL](https://alexgetman.com/models/deepseek/deepseek-prover-v1-5-rl/): Open weights
- [DeepSeek Prover V1.5 Base](https://alexgetman.com/models/deepseek/deepseek-prover-v1-5-base/): Open weights
- [DeepSeek Prover V1](https://alexgetman.com/models/deepseek/deepseek-prover-v1/): Open weights