SJTULean
/

LeanFormalizer_CoT

Model card Files Files and versions

LeanFormalizer_CoT

15.2 GB

Ctrl+K

Ctrl+K

2 contributors

History: 17 commits

lbourdois's picture

Improve language tag

fe6ed9a verified about 1 year ago

.gitattributes

1.57 kB
Upload tokenizer.json with huggingface_hub over 1 year ago
README.md

412 Bytes
Improve language tag about 1 year ago
added_tokens.json

605 Bytes
Upload added_tokens.json with huggingface_hub over 1 year ago
config.json

774 Bytes
Upload config.json with huggingface_hub over 1 year ago
generation_config.json

243 Bytes
Upload generation_config.json with huggingface_hub over 1 year ago
merges.txt

1.67 MB
Upload merges.txt with huggingface_hub over 1 year ago
model-00001-of-00004.safetensors

4.88 GB
xet

Upload model-00001-of-00004.safetensors with huggingface_hub over 1 year ago
model-00002-of-00004.safetensors

4.93 GB
xet

Upload model-00002-of-00004.safetensors with huggingface_hub over 1 year ago
model-00003-of-00004.safetensors

4.33 GB
xet

Upload model-00003-of-00004.safetensors with huggingface_hub over 1 year ago
model-00004-of-00004.safetensors

1.09 GB
xet

Upload model-00004-of-00004.safetensors with huggingface_hub over 1 year ago
model.safetensors.index.json

27.8 kB
Upload model.safetensors.index.json with huggingface_hub over 1 year ago
special_tokens_map.json

613 Bytes
Upload special_tokens_map.json with huggingface_hub over 1 year ago
tokenizer.json

11.4 MB
xet

Upload tokenizer.json with huggingface_hub over 1 year ago
tokenizer_config.json

7.33 kB
Upload tokenizer_config.json with huggingface_hub over 1 year ago
vocab.json

2.78 MB
Upload vocab.json with huggingface_hub over 1 year ago