nanoGentzen
Sagicc/nanoGentzen
Tracked by OpenModelStats since August 24, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 59
- Total downloadsCumulative all-time download counter reported by the source platform.
- 59
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- —
- Gained 30DIncrease in cumulative total downloads between OpenModelStats' own observations roughly thirty days apart.
- —
- LikesCommunity likes reported by the source platform.
- 0
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads.
- —
- –this week
- Parameters
- 4.9M
- Last source update
- Aug 23, 2026
Downloads over time
Daily gain between consecutive observationsNot 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 betterNot enough tracked history yet for a chart.
OpenModelStats began tracking this model on 2026-08-24. Charts appear as daily observations accumulate.
Overview
nanoGentzen is a embeddings model published by Sagicc. OpenModelStats has tracked the model since Aug 24, 2026, most recently observing it 7h ago.
- Published
- Aug 22, 2026
- Last updated
- Aug 23, 2026
- Library
- custom
- License
- mit
- Task
- Embeddings
- Parameters
- 4,861,185
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- —
customsafetensorsnanogentzenlogicgentzensequent-calculusintuitionistic-logicautomated-theorem-provingformal-verificationpolicy-value-networkpytorchfeature-extraction
Publisher
SagiccView publisher statistics →Similar models
| Model | DL 30D |
|---|---|
| helix-mRNAhelical-ai | 3,719 |
| eegdino-small-pretrainedbraindecode | 1,160 |
| splade-bert-tiny-nqsparse-encoder-testing | 113.9K |
| splade-tinyrasyosef | 3,664 |
| splade-bert-tiny-nq-openvinosparse-encoder-testing | 983 |
| splade-bert-tiny-nq-onnxsparse-encoder-testing | 769 |