ChristianZ97 on Hugging Face: downloads and rankings

ChristianZ97 has 1 tracked models, downloaded 0 times in the last 30 days; 28 datasets, downloaded 1,785 times in the last 30 days. ChristianZ97 Wrapped: the last 12 months.

Models by downloads in the last 30 days

  1. ChristianZ97/satp-policy-v2-alphaproof 0 downloads, reinforcement learning

Datasets by downloads in the last 30 days

  1. ChristianZ97/NuminaMath-LEAN-satp-v4.27 478 downloads
  2. ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp 440 downloads
  3. ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp 211 downloads
  4. ChristianZ97/PutnamBench-lean4 81 downloads
  5. ChristianZ97/NuminaMath-LEAN-satp 68 downloads
  6. ChristianZ97/NuminaMath-LEAN-cleaned 52 downloads
  7. ChristianZ97/minif2f-satp-alphaproof 46 downloads
  8. ChristianZ97/minif2f_test-AlphaRenamed 38 downloads
  9. ChristianZ97/minif2f-satp-v4.27 33 downloads
  10. ChristianZ97/putnambench-satp 29 downloads
  11. ChristianZ97/minif2f-satp 29 downloads
  12. ChristianZ97/proofnet-satp-v4.27 25 downloads
  13. ChristianZ97/NuminaMath-LEAN-satp-buffer-v1-backup 25 downloads
  14. ChristianZ97/NuminaMath-LEAN-satp-gaps 24 downloads
  15. ChristianZ97/NuminaMath-LEAN-Expert-Iteration 23 downloads
  16. ChristianZ97/putnambench-satp-v4.27 21 downloads
  17. ChristianZ97/NuminaMath-LEAN-satp-buffer 20 downloads
  18. ChristianZ97/NuminaMath-LEAN-satp-buffer-discard 17 downloads
  19. ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation 16 downloads
  20. ChristianZ97/NuminaMath-LEAN-satp-buffer-2key-discard 15 downloads
  21. ChristianZ97/NuminaMath-LEAN-satp-buffer-planf-v1-Temp 13 downloads
  22. ChristianZ97/NuminaMath-LEAN-Filtered-Seed 13 downloads
  23. ChristianZ97/proofnet-satp 13 downloads
  24. ChristianZ97/NuminaMath-LEAN-satp-gaps-v4.27 12 downloads
  25. ChristianZ97/NuminaMath-LEAN-satp-buffer-main 12 downloads
  26. ChristianZ97/NuminaMath-LEAN-Aesop-Config 12 downloads
  27. ChristianZ97/NuminaMath-LEAN-SATP-cleaned 10 downloads
  28. ChristianZ97/DSP-Plus-miniF2F-gaps 9 downloads

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