QED-Nano

lm-provers/QED-Nano

Text Generation4B parameterstransformersLicense: apache-2.0
Tracked by OpenModelStats since August 24, 2026View on Hugging Face ↗
Downloads 30D
10K
Total downloads
26.3K
Gained 7D
Gained 30D
Likes
89
Rank · tracked models
#7,773
this week
Parameters
4B
Last source update
Mar 23, 2026

Downloads over time

Cumulative total downloads observed by OpenModelStats

Not 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 better

Not enough tracked history yet for a chart.

OpenModelStats began tracking this model on 2026-08-24. Charts appear as daily observations accumulate.

Overview

QED-Nano is a text generation model published by lm-provers. OpenModelStats has tracked the model since Aug 24, 2026, most recently observing it 54 min ago.

Published
Feb 12, 2026
Last updated
Mar 23, 2026
Library
transformers
License
apache-2.0
Task
Text Generation
Parameters
4,022,468,096
Spaces
Derivative models
Velocity 7D/day
transformerssafetensorsqwen3text-generationconversationalendataset:lm-provers/FineProofs-RLarxiv:2602.03773base_model:lm-provers/QED-Nano-SFTbase_model:finetune:lm-provers/QED-Nano-SFTlicense:apache-2.0eval-results

Publisher

lm-proversView publisher statistics →

Derived from lm-provers/QED-Nano-SFT (reported by the source; parent not yet tracked).

Similar models

Models similar to QED-Nano
ModelDL 30D
Qwen3-4BQwen4.8M
Qwen3-4B-Instruct-2507Qwen3.4M
Qwen3-4B-BaseQwen1.1M
Qwen3-4B-Thinking-2507Qwen379.7K
Qwen3-4B-AWQQwen246.5K
typhoon2.5-qwen3-4btyphoon-ai217.1K