equational-prover-global-sft

kinit/equational-prover-global-sft

transformers

Tracked by OpenModelStats since September 7, 2026View on Hugging Face ↗

Downloads 30D: 0
Total downloads: 0
Gained 7D: 0
Gained 30D: —
Likes: 0; +0 in 7D
Rank · tracked models: —; –this week
Parameters: —
Last source update: Aug 27, 2026

7D 30D 90D 1Y All

Total downloads Gained per day Rolling recent downloads

Downloads over time

Daily gain between consecutive observations

Likes over time

Rank among tracked models

Lower is better

Not enough tracked history yet for a chart.

OpenModelStats began tracking this model on 2026-09-07. 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 7, 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-9B8.8M

Sibling models

Qwen3.5-9B-GGUF1.2M
Qwen3.5-9B-Uncensored-HauhauCS-Aggressive710.9K
Qwen3.5-9B-AWQ621.3K
Qwen3.5-9B-MLX-4bit609.4K
Qwen3.5-9B-MLX-8bit568.9K
Qwen3.5-9B-GGUF452.6K
Qwen3.5-9B90K
Qwen3.5-9B-AWQ-4bit83K

Similar models

Models similar to equational-prover-global-sft
Model	Task	DL 30D	Likes	Params
all-MiniLM-L6-v2sentence-transformers	Sentence Similarity	235.5M	6,196	22.7M
ms-marco-MiniLM-L6-v2cross-encoder	Text Ranking	83.8M	357	22.7M
bge-small-en-v1.5BAAI	Embeddings	62.6M	597	33.4M
paraphrase-multilingual-MiniLM-L12-v2sentence-transformers	Sentence Similarity	50.7M	1,419	118M
electra-base-discriminatorgoogle	—	45.9M	191	—
bert-base-uncasedgoogle-bert	Fill Mask	38.9M	3,389	110M