The deepseek-ai/DeepSeek-Prover-V1.5-RL galaxy

11 models are built on deepseek-ai/DeepSeek-Prover-V1.5-RL: 7 quantized, 2 fine-tuned, 0 adapters and 2 merges. Together they were downloaded 5,247 times in the last 30 days.

Most downloaded direct derivatives

• mradermacher/DeepSeek-Prover-V1.5-RL-GGUF (quantized), 516 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), 56 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), 7 downloads in 30 days

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.