equational-prover-global-sft
kinit/equational-prover-global-sft
transformers
Tracked by OpenModelStats since September 12, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 0
- Total downloadsCumulative all-time download counter reported by the source platform.
- 0
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- 0
- 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
- —
- Last source update
- Aug 27, 2026
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-12. Charts appear as daily observations accumulate.
Overview
equational-prover-global-sft is an AI model published by kinit. OpenModelStats has tracked the model since Sep 12, 2026, most recently observing it Sep 2, 2026.
- Published
- Aug 26, 2026
- Last updated
- Aug 27, 2026
- Library
- transformers
- License
- —
- Task
- —
- Parameters
- —
- Spaces
- 0
- Derivative models
- —
- Velocity 7D/day
- 0
transformerssafetensorsgenerated_from_trainersfttrlbase_model:Qwen/Qwen3.5-9Bbase_model:finetune:Qwen/Qwen3.5-9Bendpoints_compatibleregion:us
Publisher
kinitView publisher statistics →Model family
Based on base-model relationships reported by the source's metadata.
Base model
- Qwen3.5-9B9.3M
Sibling models
Similar models
| Model | DL 30D |
|---|---|
| all-MiniLM-L6-v2sentence-transformers | 254.1M |
| ms-marco-MiniLM-L6-v2cross-encoder | 88.7M |
| bge-small-en-v1.5BAAI | 64.5M |
| electra-base-discriminatorgoogle | 52.2M |
| bert-base-uncasedgoogle-bert | 47.7M |
| paraphrase-multilingual-MiniLM-L12-v2sentence-transformers | 45.9M |