The deepseek-ai/DeepSeek-Prover-V2-7B galaxy

22 models are built on deepseek-ai/DeepSeek-Prover-V2-7B: 17 quantized, 4 fine-tuned, 1 adapters and 0 merges. Together they were downloaded 82,725 times in the last 30 days.

Most downloaded direct derivatives