NP235 on Hugging Face: downloads and rankings

NP235 has 4 tracked models, downloaded 56 times in the last 30 days and 1,062 times in total; 10 datasets, downloaded 10,536 times in the last 30 days. NP235 Wrapped: the last 12 months.

Models by downloads in the last 30 days

  1. NP235/SU-01 30 downloads, text generation
  2. NP235/Goedel-Prover-V2-32B 11 downloads, text generation
  3. NP235/math_albert 11 downloads, model
  4. NP235/Goedel-Formalizer-V2-32B 4 downloads, model

Datasets by downloads in the last 30 days

  1. NP235/MegaMath 8.5K downloads
  2. NP235/AutoMathText 589 downloads
  3. NP235/MathNet 504 downloads
  4. NP235/proof-pile-2 450 downloads
  5. NP235/finemath 266 downloads
  6. NP235/open-web-math-pro 142 downloads
  7. NP235/MathCode-Pile 64 downloads
  8. NP235/CoinMath 22 downloads
  9. NP235/LiveAoPSBench-2024 16 downloads
  10. NP235/arxivmath-training 16 downloads

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