deepseek-ai/DeepSeek-Prover-V1 download history
deepseek-ai/DeepSeek-Prover-V1 is a 6.9B-parameter model model by deepseek-ai. In the last 30 days it was downloaded 208 times (67 in the last 7 days), and 8,167 times in total.
It ranks #133,533 on the Hub by monthly downloads.
It has 13 likes.
8 models build on DeepSeek-Prover-V1: 2 quantized, 0 fine-tuned, 6 adapters and 0 merges. Together with the original they were downloaded 735 times in the last 30 days. See the DeepSeek-Prover-V1 galaxy.
Most downloaded derivatives
- mradermacher/DeepSeek-Prover-V1-GGUF (quantized), 477 downloads in 30 days
- matrixportalx/DeepSeek-Prover-V1-Q4_0-GGUF (quantized), 25 downloads in 30 days
- msho/dspv1_sft_1t (adapter), 7 downloads in 30 days
- msho/dspv1_sft (adapter), 6 downloads in 30 days
- msho/dspv1_policy_sft (adapter), 3 downloads in 30 days
- msho/dspv1_sft_dspfmt (adapter), 3 downloads in 30 days
- vincentlinzhu/dspv1_dpo_dspfmt_medium (adapter), 3 downloads in 30 days
- vincentlinzhu/dspv1_dpo_llemmafmt_medium (adapter), 3 downloads in 30 days
Open deepseek-ai/DeepSeek-Prover-V1 on Hugging Face
Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.