Hugging Face model: FrenzyMath/LeanSearch-PS-faiss
Author: FrenzyMath
Created: 2025-07-02 06:28:12
Last modified: 2025-07-02 14:22:46
Likes: 1 | Downloads: 0
Tags: arxiv:2505.20613, region:us
Card metadata: