SMOLM2Prover

reaperdoesntknow/SMOLM2Prover

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

Downloads over time

Cumulative total downloads observed by OpenModelStats

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 2h 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-InstructHuggingFaceTB379.4K
SmolLM2-360MHuggingFaceTB279.8K
SmolLM-360MHuggingFaceTB13.9K
SmolLM-360M-InstructHuggingFaceTB12.1K
Deep-Thought-Posttraintsfrm883
SmolLM2-360M-Instructunsloth2,687