You can deploy this model and start earning money today!

connorolson/
qwen35-9b-lean4-nongeometry-lora

Name: qwen35-9b-lean4-nongeometry-lora
Availability: InStock

Views

No views yet

connorolson/qwen35-9b-lean4-nongeometry-lora

LoRA adapter for Lean 4 subgoal completion, tuned for nongeometry.

python

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-nongeometry-lora")

Adapter only. Load on top of the base model.