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
b0fcdc9
LeanStateSearch2025.3
1.52 kB
Ctrl+K
Ctrl+K
2 contributors
History:
1 commit
happyllll
initial commit
b0fcdc9
verified
about 1 year ago
.gitattributes
Safe
1.52 kB
initial commit
about 1 year ago
