yalhessi on Hugging Face: downloads and rankings

yalhessi has 140 tracked models, downloaded 1,795 times in the last 30 days and 12,425 times in total; 41 datasets, downloaded 3,728 times in the last 30 days. yalhessi Wrapped: the last 12 months.

Models by downloads in the last 30 days

  1. yalhessi/lemexp-task1-v2-template_small_nodefs-deepseek-coder-1.3b-base-8lr-48epochs-eos-train-embeddings 75 downloads, model
  2. yalhessi/lemexp-task1-v3-template_small_nodefs-deepseek-coder-6.7b-base 42 downloads, model
  3. yalhessi/lemexp-task1-v3-template_full_nodefs-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos 37 downloads, model
  4. yalhessi/lemexp-task1-v3-lemma_object_full_nodefs-deepseek-coder-1.3b-base-8lr-12epochs-no-eos 35 downloads, model
  5. yalhessi/lemexp-task1-v3-template_small_nodefs-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos 31 downloads, model
  6. yalhessi/lemexp-task1-v3-lemma_object_small_nodefs-deepseek-coder-6.7b-base 31 downloads, text generation
  7. yalhessi/lemexp-task1-v3-lemma_object_small_notypes-deepseek-coder-1.3b-base-8lr-12epochs-no-eos 29 downloads, model
  8. yalhessi/lemexp-task1-v3-lemma_object_full_notypes-deepseek-coder-1.3b-base-8lr-12epochs-no-eos 27 downloads, model
  9. yalhessi/lemexp-task1-v2-lemma_object_small_notypes-deepseek-coder-1.3b-base-ddp-8lr-v2 26 downloads, model
  10. yalhessi/lemexp-task1-v3-lemma_object_full_nodefs-deepseek-coder-6.7b-base 25 downloads, text generation
  11. yalhessi/lemexp-task1-v3-lemma_object_small_nodefs-deepseek-coder-1.3b-base-8lr-12epochs-no-eos 23 downloads, model
  12. yalhessi/lemexp-task1-v2-template_small_notypes-deepseek-coder-1.3b-base-8lr-24epochs-eos 23 downloads, model
  13. yalhessi/lemexp-task1-v2-lemma_object_small_nodefs-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos 22 downloads, model
  14. yalhessi/lemexp-task1-v3-lemma_object_small_notypes-deepseek-coder-1.3b-base-8lr-12epochs-special-eos 22 downloads, model
  15. yalhessi/lemexp-task1-v3-template_full_nodefs-deepseek-coder-6.7b-base 22 downloads, model
  16. yalhessi/lemexp-task1-v2-template_small_nodefs-deepseek-coder-1.3b-base-ddp-8lr-v2 19 downloads, model
  17. yalhessi/lemexp-task1-v2-template_small_nodefs-Llama-3.2-1B-8lr-24epochs-nonspecial-eos-token 19 downloads, model
  18. yalhessi/lemexp-task1-v2-template_small_nodefs-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos 19 downloads, model
  19. yalhessi/lemexp-task1-v2-template_small-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos 19 downloads, model
  20. yalhessi/lemexp-task1-v3-template_full_nodefs-Llama-3.2-1B-8lr-12epochs-no-eos 19 downloads, model
  21. yalhessi/lemexp-task1-v2-template_small_nodefs-deepseek-coder-6.7b-base-specialtok-4e4 18 downloads, model
  22. yalhessi/lemexp-task1-v2-lemma_object_small_nodefs-deepseek-coder-1.3b-base-ddp-8lr-v2 18 downloads, model
  23. yalhessi/lemexp-task1-v3-template_small_notypes-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos 17 downloads, model
  24. yalhessi/lemexp-task1-v3-template_full-Llama-3.2-1B-8lr-12epochs-no-eos 17 downloads, model
  25. yalhessi/lemexp-task4-v2-small-deepseek-coder-1.3b-base-ddp-8lr-v2 17 downloads, model
  26. yalhessi/output_deepseek6.7_template_small 16 downloads, model
  27. yalhessi/lemexp-task1-v3-lemma_object_small-deepseek-coder-6.7b-base 16 downloads, text generation
  28. yalhessi/lemexp-task1-v3-template_small_nodefs-deepseek-coder-1.3b-base-8lr-12epochs-no-eos 16 downloads, model
  29. yalhessi/lemexp-task2-unordered_lemma_object_small-deepseek-coder-1.3b-base-ddp-8lr 15 downloads, model
  30. yalhessi/lemexp-task1-v3-lemma_object_small-deepseek-coder-1.3b-base-8lr-12epochs-special-eos 15 downloads, model
  31. yalhessi/lemexp-task1-v2-template_full-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos 15 downloads, model
  32. yalhessi/lemexp-task1-v2-lemma_object_small_old_defs-deepseek-coder-1.3b-base-ddp-8lr-v2 15 downloads, model
  33. yalhessi/lemexp-task1-v3-lemma_object_small-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos 15 downloads, model
  34. yalhessi/lemexp-task1-v2-template_small-deepseek-coder-1.3b-base-ddp-12lr-v2 14 downloads, model
  35. yalhessi/lemexp-task4-v2-small_no_symbols-deepseek-coder-1.3b-base-ddp-8lr-v2 14 downloads, model
  36. yalhessi/lemexp-task1-v2-template_small_nodefs-deepseek-coder-1.3b-base-8lr-24epochs-no-special-tokens 14 downloads, model
  37. yalhessi/lemexp-task4-v2-small_no_defs-deepseek-coder-1.3b-base-ddp-8lr-v2 14 downloads, model
  38. yalhessi/lemexp-task1-v2-template_small_notypes_old_defs-deepseek-coder-1.3b-base-ddp-8lr-v2 14 downloads, model
  39. yalhessi/lemexp-task1-v3-template_small_notypes-deepseek-coder-1.3b-base-8lr-12epochs-special-eos 14 downloads, model
  40. yalhessi/lemexp-task1-v2-template_full-deepseek-coder-1.3b-base-ddp-8lr-v2 14 downloads, model
  41. yalhessi/lemexp-task1-min_symbols_lemma_object_small-deepseek-coder-1.3b-base-ddp-8lr 13 downloads, model
  42. yalhessi/lemexp-task2-unordered_template_small-deepseek-coder-1.3b-base-ddp-8lr 13 downloads, model
  43. yalhessi/lemexp-task4-option1_small-deepseek-coder-1.3b-base-ddp-8lr 13 downloads, model
  44. yalhessi/lemexp-task3-small-deepseek-coder-1.3b-base-ddp-8lr 13 downloads, model
  45. yalhessi/lemexp-task1-v2-template_small_notypes-deepseek-coder-1.3b-base-ddp-8lr-v2 13 downloads, model
  46. yalhessi/lemexp-task1-v2-template_full_notypes-deepseek-coder-1.3b-base-ddp-8lr-v2 13 downloads, model
  47. yalhessi/output_deepseek6.7_min_symbols_lemma_object_small 13 downloads, model
  48. yalhessi/lemexp-task1-v2-template_small_nodefs-deepseek-coder-1.3b-base-8lr-24epochs-nonspecial-eos-token 13 downloads, model
  49. yalhessi/lemexp-task1-lemma_object_full-deepseek-coder-1.3b-base-ddp-8lr 13 downloads, model
  50. yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp-8lr 13 downloads, model
  51. yalhessi/lemexp-task1-min_symbols_template_full-deepseek-coder-1.3b-base-ddp 12 downloads, model
  52. yalhessi/lemexp-task1-v3-template_full_notypes-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos 12 downloads, model
  53. yalhessi/lemexp-task1-v2-lemma_object_small_notypes-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos 12 downloads, model
  54. yalhessi/lemexp-task5-template_prefix_full-deepseek-coder-1.3b-base-4gpu-bs4-8lr-12epochs-normal-eos-8bit 12 downloads, model
  55. yalhessi/lemexp-task1-v3-lemma_object_full-deepseek-coder-1.3b-base-8lr-12epochs-no-eos 12 downloads, model
  56. yalhessi/lemexp-task1-template_small-deepseek-coder-1.3b-base-ddp-8lr-1bs 12 downloads, model
  57. yalhessi/lemexp-task1-v2-template_small_old_defs-deepseek-coder-1.3b-base-ddp-8lr-v2 12 downloads, model
  58. yalhessi/lemexp-task1-v3-lemma_object_full-deepseek-coder-6.7b-base 12 downloads, model
  59. yalhessi/lemexp-task1-v2-template_small_nodefs-deepseek-coder-1.3b-base-8lr-24epochs-eos-token 12 downloads, model
  60. yalhessi/lemexp-task1-lemma_object_small-deepseek-coder-1.3b-base-ddp-8lr 12 downloads, model
  61. yalhessi/lemexp-task1-lemma_command_full-deepseek-coder-1.3b-base-ddp-8lr 12 downloads, model
  62. yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp-12lr 12 downloads, model
  63. yalhessi/lemexp-task1-v2-template_small_notypes-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos 12 downloads, model
  64. yalhessi/lemexp-task1-v2-lemma_object_full-deepseek-coder-1.3b-base-ddp-8lr-v2 12 downloads, model
  65. yalhessi/lemexp-task1-v2-lemma_object_small_notypes_old_defs-deepseek-coder-1.3b-base-ddp-8lr-v2 11 downloads, model
  66. yalhessi/output_deepseek6.7_lemma_small 11 downloads, model
  67. yalhessi/task1_min_symbols_lemma_object_full 11 downloads, model
  68. yalhessi/lemexp-hol-thms-by-file-deepseek-coder-1.3b-base 11 downloads, model
  69. yalhessi/lemexp-task1-v2-template_full_nodefs-deepseek-coder-1.3b-base-ddp-8lr-v2 11 downloads, model
  70. yalhessi/lemexp-task1-v2-lemma_object_small-deepseek-coder-1.3b-base-ddp-8lr-v2 11 downloads, model
  71. yalhessi/lemexp-processed-task1_min_symbols_lemma_command_small-deepseek-coder-1.3b-base 11 downloads, model
  72. yalhessi/lemexp-task2-ordered_lemma_object_small-deepseek-coder-1.3b-base-ddp-8lr 11 downloads, model
  73. yalhessi/lemexp-task1-v2-lemma_object_full_nodefs-deepseek-coder-1.3b-base-ddp-8lr-v2 11 downloads, model
  74. yalhessi/lemexp-task1-template_full-deepseek-coder-1.3b-base-ddp-8lr 11 downloads, model
  75. yalhessi/lemexp-task1-v2-template_small-deepseek-coder-1.3b-base-ddp-8lr-v2 11 downloads, model
  76. yalhessi/lemexp-task1-v3-template_full-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos 11 downloads, model
  77. yalhessi/lemexp-task2-extra_template_small-deepseek-coder-1.3b-base-ddp-8lr 11 downloads, model
  78. yalhessi/lemexp-task1-template_small-deepseek-coder-1.3b-base-ddp-8lr 11 downloads, model
  79. yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp-16lr 11 downloads, model
  80. yalhessi/output_lemma_object_small_nodefs 11 downloads, text generation
  81. yalhessi/lemexp-task1-lemma_command_small-deepseek-coder-1.3b-base-ddp-8lr 11 downloads, model
  82. yalhessi/small-2e4 10 downloads, model
  83. yalhessi/lemexp-task1-v2-template_small_nodefs_old_defs-deepseek-coder-1.3b-base-ddp-8lr-v2 10 downloads, model
  84. yalhessi/output_lemma_object_full_nodefs 10 downloads, text generation
  85. yalhessi/lemexp-task1-v2-lemma_object_small_nodefs_old_defs-deepseek-coder-1.3b-base-ddp-8lr-v2 10 downloads, model
  86. yalhessi/lemexp-task5-template_deriv_full-deepseek-coder-1.3b-base-r16-alllinear-18ep-8bit 10 downloads, model
  87. yalhessi/lemexp-task1-v3-template_full-deepseek-coder-6.7b-base 10 downloads, model
  88. yalhessi/lemexp-task1-v3-lemma_object_small_notypes-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos 10 downloads, model
  89. yalhessi/lemexp-task1-min_symbols_template_small-deepseek-coder-1.3b-base-ddp 10 downloads, model
  90. yalhessi/lemexp-task1-v3-template_small-Llama-3.2-1B-8lr-12epochs-no-eos 10 downloads, model
  91. yalhessi/lemexp-task2-extra_lemma_object_small-deepseek-coder-1.3b-base-ddp-8lr 10 downloads, model
  92. yalhessi/lemexp-task3-v2-small-deepseek-coder-1.3b-base-ddp-8lr-v2 10 downloads, model
  93. yalhessi/lemexp-task1-v2-lemma_object_small-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos 10 downloads, model
  94. yalhessi/lemexp-task1-min_symbols_lemma_command_small-deepseek-coder-1.3b-base-ddp-8lr 10 downloads, model
  95. yalhessi/lemexp-task1-v3-template_small-deepseek-coder-1.3b-base-8lr-12epochs-normal-eos 10 downloads, model
  96. yalhessi/lemexp-task4-option2_small-deepseek-coder-1.3b-base-ddp-8lr 10 downloads, model
  97. yalhessi/lemexp-task2-ordered_template_small-deepseek-coder-1.3b-base-ddp-8lr 10 downloads, model
  98. yalhessi/lemexp-task1-v2-template_small-deepseek-coder-1.3b-base-8lr-24epochs-nonspecial-eos-token 10 downloads, model
  99. yalhessi/lemexp-task1-v2-lemma_object_full_notypes-deepseek-coder-1.3b-base-ddp-8lr-v2 9 downloads, model
  100. yalhessi/lemexp-task1-v3-lemma_object_full_nodefs-Llama-3.2-1B-8lr-12epochs-no-eos 9 downloads, model

Datasets by downloads in the last 30 days

  1. yalhessi/lemexp-task1-v2 775 downloads
  2. yalhessi/lemexp-task1 730 downloads
  3. yalhessi/lemexp-task1-v2-eval-results 386 downloads
  4. yalhessi/lemexp-predictions 309 downloads
  5. yalhessi/lemexp 186 downloads
  6. yalhessi/lemexp-task1-v3-eval-results 155 downloads
  7. yalhessi/lemexp-processed 152 downloads
  8. yalhessi/lemexp-task2 99 downloads
  9. yalhessi/lemexp-raw-v2 94 downloads
  10. yalhessi/lemexp-rediscovery-v3 72 downloads
  11. yalhessi/task1-results 67 downloads
  12. yalhessi/lemexp-task1-v3 61 downloads
  13. yalhessi/lemexp-commercial-llm-experiment-results 60 downloads
  14. yalhessi/rediscovery-results 59 downloads
  15. yalhessi/lemexp-raw-v3 52 downloads
  16. yalhessi/lemexp-task3 45 downloads
  17. yalhessi/lemexp-raw-unordered 44 downloads
  18. yalhessi/lemexp-task4 37 downloads
  19. yalhessi/lemexp-task1-v3-eval-result-updated 26 downloads
  20. yalhessi/lemexp-results 25 downloads
  21. yalhessi/lemexp-octonions 24 downloads
  22. yalhessi/compcert 23 downloads
  23. yalhessi/roughspec-results 20 downloads
  24. yalhessi/lemexp-commercial-llm-experiment 18 downloads
  25. yalhessi/lemexp-commercial-llm-experiment-anon 18 downloads
  26. yalhessi/lemexp-task4-v2 17 downloads
  27. yalhessi/lemmanaid-raw 16 downloads
  28. yalhessi/lemexp-task1-v3-eval-tables 16 downloads
  29. yalhessi/lemexp-raw-unordered-extra 15 downloads
  30. yalhessi/task3-results 15 downloads
  31. yalhessi/lemexp-task3-v2 15 downloads
  32. yalhessi/lemexp-processed-results 14 downloads
  33. yalhessi/task4-results 12 downloads
  34. yalhessi/lemexp-results-debug 12 downloads
  35. yalhessi/rediscovery-v2-results 12 downloads
  36. yalhessi/lemexp-commercial-llm-experiment-anon-results 10 downloads
  37. yalhessi/lemexp-predictions-v3 10 downloads
  38. yalhessi/lemexp-raw 8 downloads
  39. yalhessi/lemexp-commercial-llm-experiment-anon-octonions-results 7 downloads
  40. yalhessi/rediscovery-interesting-results 6 downloads
  41. yalhessi/clam 6 downloads