formalmathatepfl on Hugging Face: model downloads

formalmathatepfl has 20 tracked models, downloaded 6,598 times in the last 30 days and 11,628 times in total. formalmathatepfl Wrapped: the last 12 months.

Models by downloads in the last 30 days

1. formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl 1.3K downloads, text generation
2. formalmathatepfl/feedback-grpo-reasoning-sft 1.1K downloads, text generation
3. formalmathatepfl/classic-grpo-reasoning-sft 628 downloads, text generation
4. formalmathatepfl/qwen3-8b-classic-one-shot 562 downloads, text generation
5. formalmathatepfl/qwen3-8b-feedback-non-base-with-repair 462 downloads, text generation
6. formalmathatepfl/qwen3-8b-post-trained-cpt 376 downloads, text generation
7. formalmathatepfl/qwen3-sft-feedback-with-proof-repair 358 downloads, text generation
8. formalmathatepfl/qwen3-8b-classic-grpo 292 downloads, model
9. formalmathatepfl/qwen3-8b-feedback-no-repair 284 downloads, text generation
10. formalmathatepfl/qwen3-8b-feedback-with-repair 274 downloads, text generation
11. formalmathatepfl/qwen3-4b-feedback-evluator 239 downloads, text generation
12. formalmathatepfl/qwen3-cpt 237 downloads, text generation
13. formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-150 160 downloads, model
14. formalmathatepfl/qwen3-sft-feedback-with-proof-repair-reasoning 93 downloads, text generation
15. formalmathatepfl/qwen3-4b-cpt 82 downloads, text generation
16. formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-200-unmasked 76 downloads, model
17. formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-125-unmasked 54 downloads, model
18. formalmathatepfl/classic-reasoning-grpo-step-175 45 downloads, model
19. formalmathatepfl/qwen3-8b-classic-low-timeouts-grpo 25 downloads, model
20. formalmathatepfl/qwen3-8b-classic-hybrid-grpo 21 downloads, model