Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
ruc-ai4math
/
LeanStateSearch2025.3
like
1
Follow
ruc-ai4math
6
Sentence Similarity
Safetensors
bert
arxiv:
2501.13959
Model card
Files
Files and versions
xet
Community
1
8c361e9
LeanStateSearch2025.3
Commit History
initial commit
8c361e9
verified
happyllll
commited on
Mar 7
initial commit
b0fcdc9
verified
happyllll
commited on
Mar 7
happyllll
commited on
happyllll
commited on
