mradermacher/olmo-3-7b-lean-prover-dpo-GGUF download history

mradermacher/olmo-3-7b-lean-prover-dpo-GGUF is a model model by mradermacher. In the last 30 days it was downloaded 311 times (69 in the last 7 days), and 1,716 times in total.

It ranks #102,880 on the Hub by monthly downloads.

It has 0 likes.

It is a quantization of VladShash/deepseek-math-7b-lean-prover-dpo-olmo-3.

Open mradermacher/olmo-3-7b-lean-prover-dpo-GGUF on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.