Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
ruc-ai4math
/
Lean_State_Search_Random
like
4
Follow
ruc-ai4math
7
Sentence Similarity
Transformers
Safetensors
arxiv:
2501.13959
License:
mit
Model card
Files
Files and versions
xet
Community
2
Train
Deploy
Use this model
refs/pr/1
Lean_State_Search_Random
/
Finetune_Model
/
410_stable_random_s0_d0
269 MB
2 contributors
History:
1 commit
happyllll
upload finetune model
bf04604
verified
10 months ago
1_Pooling
upload finetune model
10 months ago
README.md
Safe
1.65 kB
upload finetune model
10 months ago
added_tokens.json
Safe
22 Bytes
upload finetune model
10 months ago
config.json
Safe
647 Bytes
upload finetune model
10 months ago
config_sentence_transformers.json
Safe
171 Bytes
upload finetune model
10 months ago
model.safetensors
268 MB
xet
upload finetune model
10 months ago
modules.json
Safe
349 Bytes
upload finetune model
10 months ago
sentence_bert_config.json
Safe
53 Bytes
upload finetune model
10 months ago
special_tokens_map.json
Safe
695 Bytes
upload finetune model
10 months ago
tokenizer.json
Safe
783 kB
upload finetune model
10 months ago
tokenizer_config.json
Safe
1.6 kB
upload finetune model
10 months 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
xet
upload finetune model
10 months ago
vocab.txt
Safe
303 kB
upload finetune model
10 months ago