nanoGentzen-v2
Sagicc/nanoGentzen-v2
Tracked by OpenModelStats since August 25, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 145
- Total downloadsCumulative all-time download counter reported by the source platform.
- 145
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- +13(increase)
- Gained 30DIncrease in cumulative total downloads between OpenModelStats' own observations roughly thirty days apart.
- —
- LikesCommunity likes reported by the source platform.
- 0
- +0 in 7D
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads.
- —
- –this week
- Parameters
- 4.9M
- Last source update
- Sep 7, 2026
- nanoGentzen-v2 gained 13 downloads during the last seven tracked days.
Downloads over time
Cumulative total downloads observed by OpenModelStatsLikes over time
Rank among tracked models
Lower is betterNot enough tracked history yet for a chart.
OpenModelStats began tracking this model on 2026-08-25. Charts appear as daily observations accumulate.
Overview
nanoGentzen-v2 is a embeddings model published by Sagicc. OpenModelStats has tracked the model since Aug 25, 2026, most recently observing it Sep 22, 2026.
- Published
- Aug 24, 2026
- Last updated
- Sep 7, 2026
- Library
- custom
- License
- mit
- Task
- Embeddings
- Parameters
- 4,861,697
- Spaces
- 1
- Derivative models
- —
- Velocity 7D/day
- 2
customsafetensorsnanogentzenlogicgentzensequent-calculusintuitionistic-logicautomated-theorem-provingformal-verificationpolicy-value-networkpytorchfeature-extraction
Publisher
SagiccView publisher statistics →Similar models
| Model | DL 30D |
|---|---|
| helix-mRNAhelical-ai | 3,679 |
| eegdino-small-pretrainedbraindecode | 1,107 |
| splade-bert-tiny-nqsparse-encoder-testing | 103.1K |
| splade-tinyrasyosef | 2,792 |
| splade-bert-tiny-nq-openvinosparse-encoder-testing | 417 |
| splade-bert-tiny-nq-onnxsparse-encoder-testing | 404 |