deepseek-ai/DeepSeek-Prover-V1.5-SFT download history
deepseek-ai/DeepSeek-Prover-V1.5-SFT is a 6.9B-parameter model model by deepseek-ai. In the last 30 days it was downloaded 880 times (518 in the last 7 days), and 113,563 times in total.
It ranks #44,066 on the Hub by monthly downloads.
It has 14 likes.
It is a fine-tune of deepseek-ai/DeepSeek-Prover-V1.5-Base.
26 models build on DeepSeek-Prover-V1.5-SFT: 10 quantized, 12 fine-tuned, 2 adapters and 2 merges. Together with the original they were downloaded 7,077 times in the last 30 days. See the DeepSeek-Prover-V1.5-SFT galaxy.
Most downloaded derivatives
- deepseek-ai/DeepSeek-Prover-V1.5-RL (finetune), 4.4K downloads in 30 days
- mradermacher/DeepSeek-Prover-V1.5-SFT-GGUF (quantized), 285 downloads in 30 days
- kfdong/STP_model_Lean_0320 (finetune), 141 downloads in 30 days
- kfdong/STP_model_Lean (finetune), 26 downloads in 30 days
- c01zaut/DeepSeek-Prover-V1.5-RL-rk3588-1.1.2 (finetune), 16 downloads in 30 days
- Slim205/Lean_prover_v1 (finetune), 13 downloads in 30 days
- tcwong/deepseek_prover_sft_proving (adapter), 13 downloads in 30 days
- c01zaut/DeepSeek-Prover-V1.5-RL-rk3588-1.1.4 (finetune), 11 downloads in 30 days
- tcwong/deepseek_prover_sft_no_err_by_file (adapter), 11 downloads in 30 days
- Slim205/Lean-conjecturer (finetune), 10 downloads in 30 days
- runrl/dsp (finetune), 7 downloads in 30 days
- RickyDeSkywalker/LoT-Solver (finetune), 0 downloads in 30 days