Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
DiffLean
/
Qwen3-8b-Lean-LoRA
like
0
Follow
SPA
4
Text Generation
PEFT
Safetensors
lora
qwen3
lean
theorem-proving
conversational
Model card
Files
Files and versions
xet
Community
Use this model
main
Qwen3-8b-Lean-LoRA
/
README.md
Commit History
Upload final Qwen3-8B Lean LoRA adapter
995fad2
verified
Jforeverss
commited on
7 days ago