Hugging Face model: ruc-ai4math/LeanStateSearch2025.3
Author: ruc-ai4math
Created: 2025-03-07 12:27:22
Last modified: 2025-03-11 12:30:28
Pipeline: sentence-similarity
Likes: 1 | Downloads: 124
Tags: safetensors, bert, sentence-similarity, arxiv:2501.13959, region:us
Card metadata:
pipeline_tag: sentence-similarity