Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
the-hir0
/
ILM-lean-prover
like
0
Safetensors
internlm2
custom_code
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
main
ILM-lean-prover
15.5 GB
1 contributor
History:
2 commits
the-hir0
Upload folder using huggingface_hub
b66f924
verified
8 months ago
.gitattributes
1.57 kB
Upload folder using huggingface_hub
8 months ago
README.md
31 Bytes
initial commit
8 months ago
config.json
967 Bytes
Upload folder using huggingface_hub
8 months ago
configuration_internlm2.py
8.84 kB
Upload folder using huggingface_hub
8 months ago
generation_config.json
132 Bytes
Upload folder using huggingface_hub
8 months ago
model-00001-of-00004.safetensors
4.89 GB
xet
Upload folder using huggingface_hub
8 months ago
model-00002-of-00004.safetensors
4.92 GB
xet
Upload folder using huggingface_hub
8 months ago
model-00003-of-00004.safetensors
4.92 GB
xet
Upload folder using huggingface_hub
8 months ago
model-00004-of-00004.safetensors
758 MB
xet
Upload folder using huggingface_hub
8 months ago
model.safetensors.index.json
18.2 kB
Upload folder using huggingface_hub
8 months ago
modeling_internlm2.py
81 kB
Upload folder using huggingface_hub
8 months ago
special_tokens_map.json
437 Bytes
Upload folder using huggingface_hub
8 months ago
tokenization_internlm2.py
8.81 kB
Upload folder using huggingface_hub
8 months ago
tokenization_internlm2_fast.py
7.81 kB
Upload folder using huggingface_hub
8 months ago
tokenizer.json
10.5 MB
xet
Upload folder using huggingface_hub
8 months ago
tokenizer.model
1.48 MB
xet
Upload folder using huggingface_hub
8 months ago
tokenizer_config.json
2.41 kB
Upload folder using huggingface_hub
8 months ago
