deepseek-ai/DeepSeek-Prover-V1.5-RL download history
deepseek-ai/DeepSeek-Prover-V1.5-RL is a 6.9B-parameter model model by deepseek-ai. In the last 30 days it was downloaded 4,362 times (2,179 in the last 7 days), and 157,435 times in total.
It ranks #12,556 on the Hub by monthly downloads.
It has 65 likes.
It is a fine-tune of deepseek-ai/DeepSeek-Prover-V1.5-SFT.
11 models build on DeepSeek-Prover-V1.5-RL: 7 quantized, 2 fine-tuned, 0 adapters and 2 merges. Together with the original they were downloaded 5,279 times in the last 30 days. See the DeepSeek-Prover-V1.5-RL galaxy.
Most downloaded derivatives
- mradermacher/DeepSeek-Prover-V1.5-RL-GGUF (quantized), 540 downloads in 30 days
- arbius/DeepSeek-Prover-V1.5-RL-GGUF (quantized), 64 downloads in 30 days
- matrixportalx/DeepSeek-Prover-V1.5-RL-GGUF (quantized), 54 downloads in 30 days
- Haleshot/Mathmate-7B-DELLA (merge), 14 downloads in 30 days
- brunopio/DeepSeek-Prover-V1.5-RL-nbits4-GS64-Axis1-HQQ-T (quantized), 13 downloads in 30 days
- brunopio/DeepSeek-Prover-V1.5-RL-nbits4-GSNone-Axis0-HQQ-T (quantized), 12 downloads in 30 days
- CurtHaw/DeepSeek-Prover-V1.5-RL-Q8_0-GGUF (quantized), 8 downloads in 30 days
- Haleshot/Mathmate-7B-MoE (merge), 6 downloads in 30 days