Slim205/Lean-conjecturer download history
Slim205/Lean-conjecturer is a 6.9B-parameter model model by Slim205. In the last 30 days it was downloaded 10 times (3 in the last 7 days), and 51 times in total.
It ranks #773,389 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-conjecturer: 1 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 182 times in the last 30 days. See the Lean-conjecturer galaxy.
Most downloaded derivatives
- mradermacher/Lean-conjecturer-GGUF (quantized), 172 downloads in 30 days