Hugging Face
Models
Datasets
Spaces
Community
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
269 MB
2 contributors
History:
5 commits
timechess
Update README.md
b350739
verified
10 months ago
1_Pooling
Upload config.json
10 months ago
.gitattributes
1.52 kB
initial commit
10 months ago
README.md
1.09 kB
Update README.md
10 months ago
added_tokens.json
22 Bytes
initial commit
10 months ago
config.json
647 Bytes
initial commit
10 months ago
config_sentence_transformers.json
171 Bytes
initial commit
10 months ago
model.safetensors
268 MB
xet
initial commit
10 months ago
modules.json
349 Bytes
initial commit
10 months ago
sentence_bert_config.json
53 Bytes
initial commit
10 months ago
special_tokens_map.json
695 Bytes
initial commit
10 months ago
tokenizer.json
783 kB
initial commit
10 months ago
tokenizer_config.json
1.6 kB
initial commit
10 months ago
training_args.bin
5.18 kB
xet
initial commit
10 months ago
vocab.txt
303 kB
initial commit
10 months ago
