pkuAI4M on Hugging Face: downloads and rankings

pkuAI4M has 3 tracked models, downloaded 24 times in the last 30 days and 90 times in total; 42 datasets, downloaded 6,078 times in the last 30 days. pkuAI4M Wrapped: the last 12 months.

Models by downloads in the last 30 days

  1. pkuAI4M/QwenLeanSFT_0326 14 downloads, text generation
  2. pkuAI4M/QwenLeanSFT14B_0330 10 downloads, text generation
  3. pkuAI4M/mathlib_formal_v4.24.0 0 downloads, model

Datasets by downloads in the last 30 days

  1. pkuAI4M/AOPS 5.3K downloads
  2. pkuAI4M/LeanWorkbook 430 downloads
  3. pkuAI4M/minif2f-lean4-normalized 106 downloads
  4. pkuAI4M/lean_github 26 downloads
  5. pkuAI4M/test_extract_mathlib_notype 24 downloads
  6. pkuAI4M/Lean_github_formal_only_1119 24 downloads
  7. pkuAI4M/lean_wkbk 12 downloads
  8. pkuAI4M/extract_theorem_benchmark 11 downloads
  9. pkuAI4M/informal_mathlib_watch 9 downloads
  10. pkuAI4M/threom_ex_en_0908_test 9 downloads
  11. pkuAI4M/lean_mathlib_rag 8 downloads
  12. pkuAI4M/temp_exthm 8 downloads
  13. pkuAI4M/Lean_wkbk_formal_only_1119 7 downloads
  14. pkuAI4M/lean_stage1_rag_have 6 downloads
  15. pkuAI4M/s1k 6 downloads
  16. pkuAI4M/RAG_lean_github_6 5 downloads
  17. pkuAI4M/lean_stage1_rag 5 downloads
  18. pkuAI4M/RAG_lean_wkbk 4 downloads
  19. pkuAI4M/RAG_lean_wkbk_6 4 downloads
  20. pkuAI4M/algebra_exercises_v4_11_0_cleaner 4 downloads
  21. pkuAI4M/algebra_exercises_v4_11_0_filtered 4 downloads
  22. pkuAI4M/options_theorems_def_v1_tagged 4 downloads
  23. pkuAI4M/o1_preview_test 4 downloads
  24. pkuAI4M/RAG_lean_github 3 downloads
  25. pkuAI4M/Lean-Github-Big 3 downloads
  26. pkuAI4M/benchmark_0908 3 downloads
  27. pkuAI4M/options_theorems_0908 3 downloads
  28. pkuAI4M/extract_mathlib_v4_11_0_validated 3 downloads
  29. pkuAI4M/options_theorems_v1 3 downloads
  30. pkuAI4M/premise-selection_train_with_hn 3 downloads
  31. pkuAI4M/data-aug-test 3 downloads
  32. pkuAI4M/Extracted_ex_test0908 3 downloads
  33. pkuAI4M/threom_chunk_en_0813 3 downloads
  34. pkuAI4M/Extracted_QA_ann0813_en 2 downloads
  35. pkuAI4M/options_theorem_tagged 2 downloads
  36. pkuAI4M/premise_selection_1031 2 downloads
  37. pkuAI4M/premise_selection_full_1029 2 downloads
  38. pkuAI4M/RAG_leanwkbk 2 downloads
  39. pkuAI4M/DPO_test_0929 2 downloads
  40. pkuAI4M/threom_ex_en_0908_test_2 2 downloads
  41. pkuAI4M/premise_selection_1029_0 1 downloads
  42. pkuAI4M/premise_selection_trunc_1030_splited 1 downloads