Downloads · 30 days
9
19% of all-time downloads
qwen35-9b-lean4-geometry-lora
connorolson/qwen35-9b-lean4-geometry-lora
qwen35-9b-lean4-geometry-lora is a machine learning model from connorolson. Use it for the machine learning task on the model card, and read the license before you ship it in a product. It is set up for peft.
LoRA adapter for Lean 4 subgoal completion, tuned for geometry.
All-time downloads
48
Public
Repo size
136 MB
Likes
0
Public
Repo makeup
Click a slice to open those files.
.safetensors116 MB · 85%
At a glance
- Library
- peft
- Access
- Public
- Created
- May 25, 2026
- Updated
- May 25, 2026
- SHA
- 69b8108f
Base models
Model card
From the Hugging Face model README
connorolson/qwen35-9b-lean4-geometry-lora
LoRA adapter for Lean 4 subgoal completion, tuned for geometry.
from transformers import AutoModelForCausalLM
from peft import PeftModel
base = AutoModelForCausalLM.from_pretrained("Qwen/Qwen3.5-9B", trust_remote_code=True)
model = PeftModel.from_pretrained(base, "connorolson/qwen35-9b-lean4-geometry-lora")
Adapter only. Load on top of the base model.
- Library
- peft
- Created
- May 25, 2026
- Updated
- May 25, 2026