Model: ruc-ai4math/LeanStateSearch2025.3
Author: ruc-ai4math
Pipeline: sentence-similarity
Tags: safetensors, bert, sentence-similarity, arxiv:2501.13959, region:us
Card metadata: pipeline_tag: sentence-similarity
Likes: 1 | All-time downloads: 15
Created: 2025-03-07 12:27:22