FrenzyMath/LeanSearch-PS download history
FrenzyMath/LeanSearch-PS is a model model by FrenzyMath. In the last 30 days it was downloaded 13 times (5 in the last 7 days), and 608 times in total.
It ranks #619,762 on the Hub by monthly downloads.
It has 0 likes.
It is an adapter of intfloat/e5-mistral-7b-instruct.