How to use FluffyAIcode/Kakeya-OProver-Stage1-SFT90 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-Stage1-SFT90")
41e157c
1
2
3
4
5
{ "status": "NO-GO", "note": "Initial strict baseline did not qualify for deployment." }
