the-hir0
/

ILM-lean-prover

Model card Files Files and versions

ILM-lean-prover

Ctrl+K

Ctrl+K

1 contributor

History: 2 commits

the-hir0's picture

Upload folder using huggingface_hub

b66f924 verified 11 months ago

.gitattributes

1.57 kB
Upload folder using huggingface_hub 11 months ago
README.md

31 Bytes
initial commit 11 months ago
config.json

967 Bytes
Upload folder using huggingface_hub 11 months ago
configuration_internlm2.py

8.84 kB
Upload folder using huggingface_hub 11 months ago
generation_config.json

132 Bytes
Upload folder using huggingface_hub 11 months ago
model-00001-of-00004.safetensors

4.89 GB
xet

Upload folder using huggingface_hub 11 months ago
model-00002-of-00004.safetensors

4.92 GB
xet

Upload folder using huggingface_hub 11 months ago
model-00003-of-00004.safetensors

4.92 GB
xet

Upload folder using huggingface_hub 11 months ago
model-00004-of-00004.safetensors

758 MB
xet

Upload folder using huggingface_hub 11 months ago
model.safetensors.index.json

18.2 kB
Upload folder using huggingface_hub 11 months ago
modeling_internlm2.py

81 kB
Upload folder using huggingface_hub 11 months ago
special_tokens_map.json

437 Bytes
Upload folder using huggingface_hub 11 months ago
tokenization_internlm2.py

8.81 kB
Upload folder using huggingface_hub 11 months ago
tokenization_internlm2_fast.py

7.81 kB
Upload folder using huggingface_hub 11 months ago
tokenizer.json

10.5 MB
xet

Upload folder using huggingface_hub 11 months ago
tokenizer.model

1.48 MB
xet

Upload folder using huggingface_hub 11 months ago
tokenizer_config.json

2.41 kB
Upload folder using huggingface_hub 11 months ago