The deepseek-ai/DeepSeek-Prover-V1.5-SFT galaxy
26 models are built on deepseek-ai/DeepSeek-Prover-V1.5-SFT: 10 quantized, 12 fine-tuned, 2 adapters and 2 merges. Together they were downloaded 7,077 times in the last 30 days.
Most downloaded direct 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
- RickyDeSkywalker/LoT-Solver-Godel (finetune), 0 downloads in 30 days