Instructions to use FrenzyMath/LeanSearch-PS with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- PEFT
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") - Notebooks
- Google Colab
- Kaggle