Hugging Face's logo

ruc-ai4math
/
LeanStateSearch2025.3

Sentence Similarity
Safetensors
bert
Model card Files Community
LeanStateSearch2025.3 / vocab.txt
happyllll's picture
happyllll
initial commit
8c361e9 verified
raw
history contribute delete
303 kB
File too large to display, you can check the raw version instead.