How to use JanosMozer/qwen-lean4-formaliser-vDoRA with PEFT:
from peft import PeftModel from transformers import AutoModelForCausalLM base_model = AutoModelForCausalLM.from_pretrained("Qwen/Qwen3-Coder-30B-A3B-Instruct") model = PeftModel.from_pretrained(base_model, "JanosMozer/qwen-lean4-formaliser-vDoRA")
