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
361 MB
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
Jforeverss
Upload final Qwen3-8B Lean LoRA adapter
995fad2
verified
7 days ago
.gitattributes
Safe
1.57 kB
Upload final Qwen3-8B Lean LoRA adapter
7 days ago
README.md
413 Bytes
Upload final Qwen3-8B Lean LoRA adapter
7 days ago
adapter_config.json
1.07 kB
Upload final Qwen3-8B Lean LoRA adapter
7 days ago
adapter_model.safetensors
349 MB
xet
Upload final Qwen3-8B Lean LoRA adapter
7 days ago
all_results.json
352 Bytes
Upload final Qwen3-8B Lean LoRA adapter
7 days ago
chat_template.jinja
Safe
4.17 kB
Upload final Qwen3-8B Lean LoRA adapter
7 days ago
eval_results.json
162 Bytes
Upload final Qwen3-8B Lean LoRA adapter
7 days ago
tokenizer.json
Safe
11.4 MB
xet
Upload final Qwen3-8B Lean LoRA adapter
7 days ago
tokenizer_config.json
Safe
691 Bytes
Upload final Qwen3-8B Lean LoRA adapter
7 days ago
train_results.json
210 Bytes
Upload final Qwen3-8B Lean LoRA adapter
7 days ago
