Hugging Face model: FrenzyMath/LeanSearch-PS
Author: FrenzyMath
Created: 2025-07-02 05:46:58
Last modified: 2025-07-02 06:22:39
Library: peft
Likes: 0 | Downloads: 15
Tags: peft, safetensors, arxiv:2505.20613, base_model:intfloat/e5-mistral-7b-instruct, base_model:adapter:intfloat/e5-mistral-7b-instruct, region:us
Base model relation: adapter
Base models: id: intfloat/e5-mistral-7b-instruct
Card metadata:
base_model: intfloat/e5-mistral-7b-instruct
library_name: peft