Hugging Face's logo

ruc-ai4math
/
LeanStateSearch2025.3

Sentence Similarity
Safetensors
bert
Model card Files
xet
Community
1
LeanStateSearch2025.3
269 MB
  • 2 contributors
 History: 6 commits
nielsr's picture
nielsr HF Staff
Improve model card: Add pipeline tag, library, license & usage
24b9770 verified