Model: ruc-ai4math/Lean_State_Search_Random
Author: ruc-ai4math
Pipeline: sentence-similarity
Library: transformers
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
Likes: 4 | All-time downloads: 0
Created: 2025-01-18 13:57:53