QED Nano is an open-source language model by lm-provers. Features: 4b LLM, VRAM: 8.1GB, Context: 256K, License: apache-2.0, LLM Explorer Score: 0.38.
Arxiv:2602.03773 Base model:finetune:lm-provers... Base model:lm-provers/qed-nano... Conversational Dataset:lm-provers/fineproofs-... Deploy:azure En Endpoints compatible Eval-results Qwen3 Region:us Safetensors Sharded Tensorflow
Model Card on HF 🤗: https://huggingface.co/lm-provers/QED-Nano
QED Nano Benchmarks
nn.n% — How the model compares to the reference models: Anthropic Sonnet 3.5 ("so35"), GPT-4o ("gpt4o") or GPT-4 ("gpt4").
What is the LLM Explorer Rank (Score)
QED Nano Parameters and Internals
| LLM Name | QED Nano |
| Repository 🤗 | https://huggingface.co/lm-provers/QED-Nano |
| Base Model(s) | |
| Model Size | 4b |
| Required VRAM | 8.1 GB |
| Updated | 2026-04-03 |
| Maintainer | lm-provers |
| Model Type | qwen3 |
| Model Files | |
| Supported Languages | en |
| Model Architecture | Qwen3ForCausalLM |
| License | apache-2.0 |
| Context Length | 262144 |
| Model Max Length | 262144 |
| Transformers Version | 4.51.1 |
| Tokenizer Class | Qwen2Tokenizer |
| Padding Token | <|endoftext|> |
| Vocabulary Size | 151936 |
| Torch Data Type | bfloat16 |
| Errors | replace |
Best Alternatives to QED Nano
Best Alternatives |
Context / RAM |
Downloads |
Likes |
|---|---|---|---|
| Qwen3 4B Thinking 2507 | 256K / 8.1 GB | 1207168 | 574 |
| GRPO 4 70 | 256K / 8.1 GB | 20 | 0 |
| Qwen3 4B Instruct 2507 | 256K / 8.1 GB | 1473674 | 320 |
| Jan Code 4B | 256K / 8.9 GB | 2270 | 72 |
| Jan V1 4B | 256K / 8.1 GB | 108354 | 353 |
| AgentCPM Explore | 256K / 8.9 GB | 138 | 328 |
| Lightning 4B | 256K / 8.1 GB | 13 | 6 |
| Qwen3 4B Instruct 2507 FP8 | 256K / 5.2 GB | 715358 | 73 |
| DASD 4B Thinking | 256K / 8.1 GB | 443 | 216 |
| Jan V3 4B Base Instruct | 256K / 8.9 GB | 1827 | 60 |
Note: green Score (e.g. "73.2") means that the model is better than lm-provers/QED-Nano .
Rank the QED Nano Capabilities
🆘 Have you tried this model? Rate its performance. This feedback would greatly assist ML community in identifying the most suitable model for their needs. Your contribution really does make a difference! 🌟
What open-source LLMs or SLMs are you in search of? 52509 in total.
Original data from HuggingFace, OpenCompass and various public git repos.
Check out Ag3ntum — our secure, self-hosted AI agent for server management.
Release v20260328a