Slim205 on Hugging Face: downloads and rankings

Slim205 has 4 tracked models, downloaded 65 times in the last 30 days and 30,279 times in total; 290 datasets, downloaded 2,707 times in the last 30 days. Slim205 Wrapped: the last 12 months.

Models by downloads in the last 30 days

1. Slim205/Barka-9b-it-v02 23 downloads, model
2. Slim205/Barka-2b-it 19 downloads, model
3. Slim205/Lean_prover_v1 13 downloads, model
4. Slim205/Lean-conjecturer 10 downloads, model

Datasets by downloads in the last 30 days

1. Slim205/gsm8k_ift_translated_nllb0 160 downloads
2. Slim205/gsm8k_ift_v02_translated 60 downloads
3. Slim205/aya_filtered_v5 42 downloads
4. Slim205/wiki_multi_full_filtered 34 downloads
5. Slim205/piqa_ift 32 downloads
6. Slim205/arc_easy_ift_v3 31 downloads
7. Slim205/lean_workbook_RL_V20_total 30 downloads
8. Slim205/Lean_conjecturer_data_v02 27 downloads
9. Slim205/mmlu_translated_nllb70000 26 downloads
10. Slim205/copa_ift 24 downloads
11. Slim205/STP_Lean_SFT_workbook_only 23 downloads
12. Slim205/arc_easy_ift 23 downloads
13. Slim205/wiki_data_full_filtered_translated_nllb10000 22 downloads
14. Slim205/total_data_baraka_ift 22 downloads
15. Slim205/gsm8k_ift_translated_long_pi 22 downloads
16. Slim205/lean_workbook_hard 21 downloads
17. Slim205/AYA-gsm8k 20 downloads
18. Slim205/lean_workbook_RL_V8 20 downloads
19. Slim205/race_useless 20 downloads
20. Slim205/aya_cleaned_v5_all_columns 20 downloads
21. Slim205/lean_workbook_RL_full_v1 19 downloads
22. Slim205/lean_workbook_RL_V14 19 downloads
23. Slim205/piqa_ift_v02 19 downloads
24. Slim205/nllb_data_to_train_filtered 19 downloads
25. Slim205/arc_challenge_ift 18 downloads
26. Slim205/lean_workbook_RL_V20_interval 18 downloads
27. Slim205/lean_workbook_RL 18 downloads
28. Slim205/Lean_conjecturer_data_v01 17 downloads
29. Slim205/mathlib_RL_v2 17 downloads
30. Slim205/sciq_ift_v02_filtered_translated_nllb9000 16 downloads
31. Slim205/sciq_ift_translated_nllb0 16 downloads
32. Slim205/piqa_ift_v02_filtered 16 downloads
33. Slim205/lean_workbook_goedel 16 downloads
34. Slim205/mathlib 15 downloads
35. Slim205/mathlib_v2 15 downloads
36. Slim205/mmlu 15 downloads
37. Slim205/gsm8k_ift_v02_translated_nllb5000 15 downloads
38. Slim205/math_res_DeepSeek-Prover-V1.5-SFT_32_100 15 downloads
39. Slim205/lean_workbook_RL_hinter_V1 15 downloads
40. Slim205/wiki_data_full 15 downloads
41. Slim205/LeanWorkbook 15 downloads
42. Slim205/leanworkbook_hinter_v14_v1 14 downloads
43. Slim205/lean_workbook_RL_no_zero_examples_2000 14 downloads
44. Slim205/lean_workbook_RL_minif2f 14 downloads
45. Slim205/sciq_ift_v02 14 downloads
46. Slim205/lean_workbook_RL_V14_hinter_v6 14 downloads
47. Slim205/lean_workbook_RL_V13 14 downloads
48. Slim205/lean_workbook_RL_V20 13 downloads
49. Slim205/lean_workbook_RL_V8_goals 13 downloads
50. Slim205/lean_workbook_RL_V20_05 13 downloads