The VladShash/deepseek-math-7b-lean-prover-dpo-olmo-3 galaxy
1 models are built on VladShash/deepseek-math-7b-lean-prover-dpo-olmo-3: 1 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together they were downloaded 363 times in the last 30 days.
Most downloaded direct derivatives
- mradermacher/olmo-3-7b-lean-prover-dpo-GGUF (quantized), 311 downloads in 30 days
Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.