SMOLM2Prover

reaperdoesntknow/SMOLM2Prover

Text Generation362M parameterstransformersLicense: apache-2.0
Tracked by OpenModelStats since August 24, 2026View on Hugging Face ↗
Downloads 30D
3,337
Total downloads
9,748
Gained 7D
Gained 30D
Likes
2
Rank · tracked models
#13,278
this week
Parameters
362M
Last source update
Aug 18, 2026

Downloads over time

Rolling recent-window downloads as reported

Not enough tracked history yet for a chart.

OpenModelStats began tracking this model on 2026-08-24. Charts appear as daily observations accumulate.

Likes over time

Not enough tracked history yet for a chart.

OpenModelStats began tracking this model on 2026-08-24. Charts appear as daily observations accumulate.

Rank among tracked models

Lower is better

Not enough tracked history yet for a chart.

OpenModelStats began tracking this model on 2026-08-24. Charts appear as daily observations accumulate.

Overview

SMOLM2Prover is a text generation model published by reaperdoesntknow. OpenModelStats has tracked the model since Aug 24, 2026, most recently observing it 53 min ago.

Published
Sep 6, 2025
Last updated
Aug 18, 2026
Library
transformers
License
apache-2.0
Task
Text Generation
Parameters
361,821,120
Spaces
Derivative models
Velocity 7D/day
transformerssafetensorsllamatext-generationproofcotreasoningmathcalculuslogicsfttrl

Publisher

reaperdoesntknowView publisher statistics →

Derived from prithivMLmods/SmolLM2-CoT-360M (reported by the source; parent not yet tracked).

Similar models

Models similar to SMOLM2Prover
ModelDL 30D
SmolLM2-360M-InstructHuggingFaceTB364.1K
SmolLM2-360MHuggingFaceTB278.3K
SmolLM-360M-InstructHuggingFaceTB12.6K
SmolLM-360MHuggingFaceTB11.8K
Deep-Thought-Posttraintsfrm911
SmolLM2-360M-Instructunsloth2,492