How to use FluffyAIcode/Kakeya-OProver-Stage3-DPO 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-Stage3-DPO")
https://huggingface.co/FluffyAIcode/Kakeya-OProver-Stage3-DPO/resolve/main/vocab.json
hf download hf://FluffyAIcode/Kakeya-OProver-Stage3-DPO/vocab.json
curl -L -o vocab.json https://huggingface.co/FluffyAIcode/Kakeya-OProver-Stage3-DPO/resolve/main/vocab.json
