Models
Resources
Pricing
Chat
Status
Log in
Sign up
Models
Qwen 3
8b
xiaolesu/Lean4-sft-grpo-nt-8b
Hugging Face
Use via API
TEXT GENERATION
Concurrency Cost:
1
Model Size:
8B
Quant:
FP8
Ctx Length:
32k
Published:
Mar 5, 2026
Architecture:
Transformer
Warm
Loading preview...
Full Model Card (README)