Hugging Face model: ruc-ai4math/Lean_State_Search_Random
Author: ruc-ai4math
Created: 2025-01-18 13:57:53
Last modified: 2025-03-07 12:55:55
Pipeline: sentence-similarity
Library: transformers
Likes: 4 | Downloads: 0
Tags: transformers, safetensors, sentence-similarity, arxiv:2501.13959, license:mit, endpoints_compatible, region:us
Card metadata:
pipeline_tag: sentence-similarity
library_name: transformers
license: mit