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
File size: 22 Bytes
8c361e9
1
2
3
4
{
"[MASK]"
:
30520
}