ruc-ai4math
/

LeanStateSearch2025.3

Sentence Similarity

Model card Files Files and versions Community

LeanStateSearch2025.3

Ctrl+K

Ctrl+K

2 contributors

History: 2 commits

happyllll's picture

initial commit

8c361e9 verified 5 months ago

.gitattributes

1.52 kB

initial commit 5 months ago
README.md

1.65 kB

initial commit 5 months ago
added_tokens.json

22 Bytes

initial commit 5 months ago
config.json

647 Bytes

initial commit 5 months ago
config_sentence_transformers.json

171 Bytes

initial commit 5 months ago
model.safetensors

268 MB
LFS

initial commit 5 months ago
modules.json

349 Bytes

initial commit 5 months ago
sentence_bert_config.json

53 Bytes

initial commit 5 months ago
special_tokens_map.json

695 Bytes

initial commit 5 months ago
tokenizer.json

783 kB

initial commit 5 months ago
tokenizer_config.json

1.6 kB

initial commit 5 months ago
training_args.bin
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 5 months ago
vocab.txt

303 kB

initial commit 5 months ago