OProver/Oprover-8B download history

OProver/Oprover-8B is an 8.2B-parameter model model by OProver. In the last 30 days it was downloaded 0 times (0 in the last 7 days), and 27 times in total.

It ranks #1,524,614 on the Hub by monthly downloads.

It has 0 likes.

Open OProver/Oprover-8B on Hugging Face

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