ANTPG/deepseek-prover-minilang download history

ANTPG/deepseek-prover-minilang is a 6.9B-parameter text generation model by ANTPG. In the last 30 days it was downloaded 20 times (12 in the last 7 days), and 51 times in total.

It ranks #413,976 on the Hub by monthly downloads and #125,672 among text generation models.

It has 0 likes.

Open ANTPG/deepseek-prover-minilang on Hugging Face

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