PEFT How to use FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT with PEFT:
from peft import PeftModel
from transformers import AutoModelForCausalLM
base_model = AutoModelForCausalLM.from_pretrained("m-a-p/OProver-8B")
model = PeftModel.from_pretrained(base_model, "FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT") 
