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

32 models are built on deepseek-ai/DeepSeek-Prover-V1.5-Base: 11 quantized, 15 fine-tuned, 4 adapters and 2 merges. Together they were downloaded 8,056 times in the last 30 days.

Most downloaded direct derivatives

• deepseek-ai/DeepSeek-Prover-V1.5-SFT (finetune), 880 downloads in 30 days
• mradermacher/DeepSeek-Prover-V1.5-Base-GGUF (quantized), 528 downloads in 30 days
• Kasaura/DeepSeek-Prover-V1.5-Base (finetune), 19 downloads in 30 days
• tcwong/deepseek_prover_base_no_err_random (adapter), 17 downloads in 30 days
• Minhdn/deepseek-prover-sinq-4bit (finetune), 14 downloads in 30 days
• tcwong/deepseek_prover_base_no_err (adapter), 11 downloads in 30 days