AI-MO on Hugging Face: model downloads

AI-MO has 14 tracked models, downloaded 4,269 times in the last 30 days and 1,102,554 times in total. AI-MO Wrapped: the last 12 months.

Models by downloads in the last 30 days

  1. AI-MO/Kimina-Prover-Distill-1.7B 942 downloads, text generation
  2. AI-MO/Kimina-Prover-Distill-0.6B 710 downloads, text generation
  3. AI-MO/Kimina-Prover-Distill-8B 701 downloads, text generation
  4. AI-MO/Kimina-Autoformalizer-7B 449 downloads, text generation
  5. AI-MO/Kimina-Prover-RL-1.7B 334 downloads, model
  6. AI-MO/NuminaMath-7B-TIR 330 downloads, text generation
  7. AI-MO/Kimina-Prover-Preview-Distill-1.5B 308 downloads, text generation
  8. AI-MO/Kimina-Prover-Preview-Distill-7B 177 downloads, text generation
  9. AI-MO/NuminaMath-7B-CoT 111 downloads, text generation
  10. AI-MO/Kimina-Prover-72B 62 downloads, text generation
  11. AI-MO/Kimina-Prover-RL-0.6B 51 downloads, model
  12. AI-MO/NuminaMath-72B-CoT 40 downloads, text generation
  13. AI-MO/NuminaMath-72B-TIR 35 downloads, text generation
  14. AI-MO/NuminaMath-7B-TIR-GPTQ 19 downloads, text generation