Hugging Face's logo

ruc-ai4math
/
Lean_State_Search_Random

Sentence Similarity
Transformers
Safetensors
Model card Files
xet
Community
2
Lean_State_Search_Random
  • 2 contributors
 History: 10 commits
nielsr's picture
nielsr HF Staff
Update pipeline tag to text-ranking
8bb456c verified