nanoGentzen-v2
Sagicc/nanoGentzen-v2
Tracked by OpenModelStats since September 8, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 47
- Total downloadsCumulative all-time download counter reported by the source platform.
- 160
- 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-09-08. Charts appear as daily observations accumulate.
Overview
nanoGentzen-v2 is a embeddings model published by Sagicc. OpenModelStats has tracked the model since Sep 8, 2026, most recently observing it 19h ago.
- 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,063 |
| eegdino-small-pretrainedbraindecode | 945 |
| splade-bert-tiny-nqsparse-encoder-testing | 92.2K |
| splade-tinyrasyosef | 3,332 |
| splade-bert-tiny-nq-onnxsparse-encoder-testing | 633 |
| splade-bert-tiny-nq-openvinosparse-encoder-testing | 583 |