LLM EXPLORER 59,516 MODELS INDEXED

MathForm 8B by openbmb

By openbmb · 695 downloads
HF Repo ↗ Copy URL

MathForm 8B is an open-source language model by openbmb. Features: 8b LLM, VRAM: 16.3GB, Context: 40K, License: apache-2.0, LLM Explorer Score: 0.32.

  Arxiv:2608.14221   Autoformalization Base model:finetune:qwen/qwen3...   Base model:qwen/qwen3-8b   Conversational   Dataset:openbmb/formalverse   En   Endpoints compatible   Formal-verification   Lean4   Mathematics   Qwen3   Reasoning   Region:us   Safetensors   Sharded   Tensorflow
Model Card on HF 🤗: https://huggingface.co/openbmb/MathForm-8B 

MathForm 8B Parameters and Internals

LLM NameMathForm 8B
Repository 🤗https://huggingface.co/openbmb/MathForm-8B 
Base Model(s)  Qwen3 8B   Qwen/Qwen3-8B
Model Size8b
Required VRAM16.3 GB
Updated2026-08-25
Maintaineropenbmb
Model Typeqwen3
Model Files  3.9 GB: 1-of-4   4.8 GB: 2-of-4   4.9 GB: 3-of-4   2.7 GB: 4-of-4
Supported Languagesen
Model ArchitectureQwen3ForCausalLM
Licenseapache-2.0
Context Length40960
Model Max Length40960
Transformers Version4.57.3
Tokenizer ClassQwen2Tokenizer
Padding Token<|endoftext|>
Vocabulary Size151936
Errorsreplace

Best Alternatives to MathForm 8B

Best Alternatives
Context / RAM
Downloads
Likes
PaCoRe 8B320K / 1.2 GB5448
RLVR 8B 0926320K / 1.2 GB638
...n3 8B 320K Context 10X Massive320K / 16.4 GB200
...r Of Horror Jan V1 256K Ctx 8B256K / 16.1 GB333
... BIG Jan Horror V1 256K Ctx 8B256K / 16.1 GB440
Qwen3 8B 256K Context 8X Grand256K / 16.4 GB950
...wen3 8B 192K Context 6X Larger192K / 16.4 GB550
DeepSeek R1 0528 Qwen3 8B128K / 16.4 GB17622931082
...Reason 8B Pretrain Competition128K / 16.8 GB2440
Marco DeepResearch 8B128K / 16.3 GB52027
Note: green Score (e.g. "73.2") means that the model is better than openbmb/MathForm-8B.