VladShash/deepseek-math-full-7B-lean-prover-dpo-mistral download history

VladShash/deepseek-math-full-7B-lean-prover-dpo-mistral is a 6.9B-parameter text generation model by VladShash. In the last 30 days it was downloaded 17 times (8 in the last 7 days), and 1,375 times in total.

It ranks #474,599 on the Hub by monthly downloads and #151,883 among text generation models.

It has 0 likes.

Open VladShash/deepseek-math-full-7B-lean-prover-dpo-mistral on Hugging Face