UnluckyOrangutan on Hugging Face: downloads and rankings

UnluckyOrangutan has 10 tracked models, downloaded 168 times in the last 30 days and 1,974 times in total; 15 datasets, downloaded 286 times in the last 30 days. UnluckyOrangutan Wrapped: the last 12 months.

Models by downloads in the last 30 days

  1. UnluckyOrangutan/byt5-tactic-haveDraft2 30 downloads, model
  2. UnluckyOrangutan/byt5-tactic-have-prover 22 downloads, model
  3. UnluckyOrangutan/have-prover-haveDraft11-Q4_K_M-GGUF 21 downloads, model
  4. UnluckyOrangutan/byt5-tactic-haveDraft 19 downloads, model
  5. UnluckyOrangutan/joint-qwen-regression-gguf 16 downloads, model
  6. UnluckyOrangutan/thomas-zhu-lean-premise-gguf 15 downloads, sentence similarity
  7. UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF 15 downloads, model
  8. UnluckyOrangutan/have-prover-haveDraft11-Q5_K_M-GGUF 13 downloads, model
  9. UnluckyOrangutan/byt5-tactic-haveDraft3 11 downloads, model
  10. UnluckyOrangutan/byt5-lean-goals 6 downloads, model

Datasets by downloads in the last 30 days

  1. UnluckyOrangutan/tactic-haveDraft7 29 downloads
  2. UnluckyOrangutan/tactic-haveDraft10 28 downloads
  3. UnluckyOrangutan/tactic-haveDraft6 25 downloads
  4. UnluckyOrangutan/tactic-haveDraft2 23 downloads
  5. UnluckyOrangutan/mathlib-traced-tactics 21 downloads
  6. UnluckyOrangutan/tactic-haveDraft 20 downloads
  7. UnluckyOrangutan/tactic-have-pairs 19 downloads
  8. UnluckyOrangutan/tactic-haveDraft9 18 downloads
  9. UnluckyOrangutan/tactic-haveDraft5 17 downloads
  10. UnluckyOrangutan/tactic-haveDraft4 16 downloads
  11. UnluckyOrangutan/tactic-haveDraft8 16 downloads
  12. UnluckyOrangutan/tactic-haveDraft3 15 downloads
  13. UnluckyOrangutan/consts-mathlib-v4.30.0 13 downloads
  14. UnluckyOrangutan/leanworkbook-tactics 13 downloads
  15. UnluckyOrangutan/tactic-haveDraft11 13 downloads

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