OProver on Hugging Face: downloads and rankings

OProver has 7 tracked models, downloaded 11 times in the last 30 days and 190 times in total; 1 datasets, downloaded 505 times in the last 30 days. OProver Wrapped: the last 12 months.

Models by downloads in the last 30 days

1. OProver/OProver-32B-Base 3 downloads, model
2. OProver/OProver-8B-Base 2 downloads, model
3. OProver/OProver-32B 2 downloads, model
4. OProver/OProver-8B-Round2 2 downloads, model
5. OProver/OProver-8B-Round1 1 downloads, model
6. OProver/OProver-32B-Round1 1 downloads, model
7. OProver/Oprover-8B 0 downloads, model

Datasets by downloads in the last 30 days

1. OProver/OProofs 505 downloads

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