You can deploy this model and start earning money today!

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

Views

No views yet

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

LoRA adapter for Lean 4 subgoal completion.

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

Adapter only. Load on top of the base model.