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
qwen3-sft-feedback-with-proof-repair-rlformalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl2,019+735
qwen3-sft-feedback-with-proof-repairformalmathatepfl/qwen3-sft-feedback-with-proof-repair1,950+74
qwen3-cptformalmathatepfl/qwen3-cpt965+68
feedback-grpo-reasoning-sftformalmathatepfl/feedback-grpo-reasoning-sft483—
qwen3-sft-feedback-with-proof-repair-rl-readyformalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-ready480+0
qwen3-8b-classic-one-shotformalmathatepfl/qwen3-8b-classic-one-shot395+0
qwen3-8b-feedback-non-base-with-repairformalmathatepfl/qwen3-8b-feedback-non-base-with-repair378—
qwen3-sft-feedback-with-proof-repair-reasoningformalmathatepfl/qwen3-sft-feedback-with-proof-repair-reasoning298+0
qwen3-8b-post-trained-cptformalmathatepfl/qwen3-8b-post-trained-cpt283+0
qwen3-8b-feedback-no-repairformalmathatepfl/qwen3-8b-feedback-no-repair255+255
qwen3-8b-feedback-with-repairformalmathatepfl/qwen3-8b-feedback-with-repair221—
qwen3-4b-feedback-evluatorformalmathatepfl/qwen3-4b-feedback-evluator205+0
qwen3-8b-classic-grpoformalmathatepfl/qwen3-8b-classic-grpo205+9
classic-grpo-reasoning-sftformalmathatepfl/classic-grpo-reasoning-sft164—
qwen3-sft-feedback-with-proof-repair-rl-200-unmaskedformalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-200-unmasked61—
qwen3-4b-cptformalmathatepfl/qwen3-4b-cpt36+0
qwen3-sft-feedback-with-proof-repair-rl-125-unmaskedformalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-125-unmasked31—
qwen3-8b-classic-low-timeouts-grpoformalmathatepfl/qwen3-8b-classic-low-timeouts-grpo22—
qwen3-sft-feedback-with-proof-repair-rl-140formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-14022—
qwen3-sft-feedback-with-proof-repair-rl-150formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-15021+0
qwen3-8b-classic-hybrid-grpoformalmathatepfl/qwen3-8b-classic-hybrid-grpo19—
classic-reasoning-grpo-step-175formalmathatepfl/classic-reasoning-grpo-step-17518—
qwen3-sft-feedback-with-proof-repair-rl-60formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-6015+0
qwen3-sft-feedback-with-proof-repair-rl-300formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-30011+0
sft-one_shot-cleanedformalmathatepfl/sft-one_shot-cleaned0+0