Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
ruc-ai4math
/
LeanStateSearch2025.3
like
1
Follow
ruc-ai4math
7
Sentence Similarity
Safetensors
bert
arxiv:
2501.13959
Model card
Files
Files and versions
xet
Community
1
main
LeanStateSearch2025.3
Commit History
Update README.md
b350739
verified
timechess
commited on
Mar 11, 2025
Update README.md
d4538b5
verified
happyllll
commited on
Mar 7, 2025
Upload config.json
42fb6d1
verified
happyllll
commited on
Mar 7, 2025
initial commit
8c361e9
verified
happyllll
commited on
Mar 7, 2025
initial commit
b0fcdc9
verified
happyllll
commited on
Mar 7, 2025
timechess commited on 
happyllll commited on happyllll commited on happyllll commited on happyllll commited on 
