OpenModelStats

formalmathatepfl AI Models

Tracked by OpenModelStats since Aug 23, 2026 · View on Hugging Face ↗

Tracked models
27
Downloads 30D
8,557
Total downloads
9,887
Total likes
0
Gained 7D
1,141

Most downloaded

  1. 1qwen3-sft-feedback-with-proof-repair-rlSep 3, 20262,019
  2. 2qwen3-sft-feedback-with-proof-repairAug 28, 20261,950
  3. 3qwen3-cptAug 14, 2026965
  4. 4feedback-grpo-reasoning-sftSep 23, 2026483
  5. 5qwen3-sft-feedback-with-proof-repair-rl-readyAug 30, 2026480
  6. 6qwen3-8b-classic-one-shotSep 4, 2026395
  7. 7qwen3-8b-feedback-non-base-with-repairSep 18, 2026378
  8. 8qwen3-sft-feedback-with-proof-repair-reasoningAug 29, 2026298
  9. 9qwen3-8b-post-trained-cptSep 9, 2026283
  10. 10qwen3-8b-feedback-no-repairSep 15, 2026255

Fastest growing

  1. 1qwen3-sft-feedback-with-proof-repair-rl+735 in 7D2,019
  2. 2qwen3-sft-feedback-with-proof-repair+74 in 7D1,950
  3. 3qwen3-cpt+68 in 7D965
  4. 4qwen3-sft-feedback-with-proof-repair-rl-ready+0 in 7D480
  5. 5qwen3-8b-classic-one-shot+0 in 7D395

Recently updated

  1. 1qwen3-sft-feedback-with-proof-repair-rl-200-unmaskedSep 24, 202661
  2. 2classic-reasoning-grpo-step-175Sep 23, 202618
  3. 3qwen3-8b-classic-low-timeouts-grpoSep 23, 202622
  4. 4qwen3-8b-classic-hybrid-grpoSep 23, 202619
  5. 5feedback-grpo-reasoning-sftSep 23, 2026483
  6. 6qwen3-sft-feedback-with-proof-repair-rl-125-unmaskedSep 22, 202631
  7. 7classic-grpo-reasoning-sftSep 21, 2026164
  8. 8qwen3-8b-feedback-non-base-with-repairSep 18, 2026378
  9. 9qwen3-8b-feedback-with-repairSep 17, 2026221
  10. 10qwen3-sft-feedback-with-proof-repair-rl-140Sep 17, 202622

All models

All tracked models published by formalmathatepfl
ModelDL 30D7D
sft-one_shot-cleanedformalmathatepfl/sft-one_shot-cleaned0+0
qwen3-sft-feedback-with-proof-repair-rl-170-filteredformalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-170-filtered0+0