Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
ruc-ai4math
/
LeanStateSearch2025.3
like
0
Follow
ruc-ai4math
5
Sentence Similarity
Safetensors
bert
arxiv:
2501.13959
Model card
Files
Files and versions
Community
main
LeanStateSearch2025.3
2 contributors
History:
5 commits
timechess
Update README.md
b350739
verified
3 days ago
1_Pooling
Upload config.json
7 days ago
.gitattributes
Safe
1.52 kB
initial commit
7 days ago
README.md
1.09 kB
Update README.md
3 days ago
added_tokens.json
Safe
22 Bytes
initial commit
7 days ago
config.json
Safe
647 Bytes
initial commit
7 days ago
config_sentence_transformers.json
Safe
171 Bytes
initial commit
7 days ago
model.safetensors
Safe
268 MB
LFS
initial commit
7 days ago
modules.json
Safe
349 Bytes
initial commit
7 days ago
sentence_bert_config.json
Safe
53 Bytes
initial commit
7 days ago
special_tokens_map.json
Safe
695 Bytes
initial commit
7 days ago
tokenizer.json
Safe
783 kB
initial commit
7 days ago
tokenizer_config.json
Safe
1.6 kB
initial commit
7 days ago
training_args.bin
pickle
Detected Pickle imports (9)
"transformers.trainer_utils.IntervalStrategy"
,
"transformers.trainer_utils.SchedulerType"
,
"transformers.trainer_utils.HubStrategy"
,
"accelerate.state.PartialState"
,
"torch.device"
,
"transformers.trainer_pt_utils.AcceleratorConfig"
,
"accelerate.utils.dataclasses.DistributedType"
,
"transformers.training_args.OptimizerNames"
,
"arguments.RetrieverTrainingArguments"
How to fix it?
5.18 kB
LFS
initial commit
7 days ago
vocab.txt
Safe
303 kB
initial commit
7 days ago