VladShash/deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo download history

VladShash/deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo is a 6.9B-parameter text generation model by VladShash. In the last 30 days it was downloaded 22 times (10 in the last 7 days), and 2,133 times in total.

It ranks #384,154 on the Hub by monthly downloads and #113,019 among text generation models.

It has 0 likes.

Open VladShash/deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo on Hugging Face

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