ruc-ai4math
/

LeanStateSearch2025.3

Sentence Similarity

Model card Files Files and versions

LeanStateSearch2025.3

Ctrl+K

Ctrl+K

2 contributors

History: 6 commits

nielsr's picture

nielsr HF Staff

Improve model card: Add pipeline tag, library, license & usage

24b9770 verified about 1 month ago

1_Pooling
Upload config.json 6 months ago
.gitattributes

1.52 kB

initial commit 6 months ago
README.md

2.53 kB

Improve model card: Add pipeline tag, library, license & usage about 1 month ago
added_tokens.json

22 Bytes

initial commit 6 months ago
config.json

647 Bytes

initial commit 6 months ago
config_sentence_transformers.json

171 Bytes

initial commit 6 months ago
model.safetensors

268 MB
xet

initial commit 6 months ago
modules.json

349 Bytes

initial commit 6 months ago
sentence_bert_config.json

53 Bytes

initial commit 6 months ago
special_tokens_map.json

695 Bytes

initial commit 6 months ago
tokenizer.json

783 kB

initial commit 6 months ago
tokenizer_config.json

1.6 kB

initial commit 6 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
xet

initial commit 6 months ago
vocab.txt

303 kB

initial commit 6 months ago