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.
- Downloads last month
- 22
Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support