Hugging Face's logo

ruc-ai4math
/
LeanStateSearch2025.3

Sentence Similarity
Safetensors
bert
Model card Files
xet
Community
1
LeanStateSearch2025.3 / modules.json

Commit History

initial commit
8c361e9
verified

happyllll commited on