Slim205/Lean_prover_v1 download history
Slim205/Lean_prover_v1 is a 6.9B-parameter model model by Slim205. In the last 30 days it was downloaded 13 times (3 in the last 7 days), and 32 times in total.
It ranks #619,762 on the Hub by monthly downloads.
It has 0 likes.
It is a fine-tune of deepseek-ai/DeepSeek-Prover-V1.5-SFT.
1 models build on Lean_prover_v1: 1 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 226 times in the last 30 days. See the Lean_prover_v1 galaxy.
Most downloaded derivatives
- mradermacher/Lean_prover_v1-GGUF (quantized), 213 downloads in 30 days