How to use FrenzyMath/LeanSearch-PS with PEFT:
from peft import PeftModel from transformers import AutoModel base_model = AutoModel.from_pretrained("intfloat/e5-mistral-7b-instruct") model = PeftModel.from_pretrained(base_model, "FrenzyMath/LeanSearch-PS")
https://huggingface.co/FrenzyMath/LeanSearch-PS/resolve/main/tokenizer.json
hf download hf://FrenzyMath/LeanSearch-PS/tokenizer.json
curl -L -o tokenizer.json https://huggingface.co/FrenzyMath/LeanSearch-PS/resolve/main/tokenizer.json
