m-a-p
/

OProver-8B

Model card Files Files and versions

16.4 GB

Ctrl+K

Ctrl+K

1 contributor

History: 4 commits

dma2077's picture

Upload README asset

5b2327f verified about 1 month ago

assets
Upload README asset about 1 month ago
.gitattributes

1.69 kB
Upload README asset about 1 month ago
README.md

28 Bytes
initial commit about 2 months ago
added_tokens.json

1.52 kB
Upload folder using huggingface_hub about 2 months ago
config.json

754 Bytes
Upload folder using huggingface_hub about 2 months ago
data.pt
Pickle imports
- No problematic imports detected
What is a pickle import?
1.49 kB
xet

Upload folder using huggingface_hub about 2 months ago
merges.txt

1.67 MB
Upload folder using huggingface_hub about 2 months ago
model-00001.safetensors

4.29 GB
xet

Upload folder using huggingface_hub about 2 months ago
model-00002.safetensors

4.29 GB
xet

Upload folder using huggingface_hub about 2 months ago
model-00003.safetensors

4.24 GB
xet

Upload folder using huggingface_hub about 2 months ago
model-00004.safetensors

3.56 GB
xet

Upload folder using huggingface_hub about 2 months ago
model.safetensors.index.json

27.6 kB
Upload folder using huggingface_hub about 2 months ago
special_tokens_map.json

972 Bytes
Upload folder using huggingface_hub about 2 months ago
tokenizer.json

11.4 MB
xet

Upload folder using huggingface_hub about 2 months ago
tokenizer_config.json

15.4 kB
Upload folder using huggingface_hub about 2 months ago
vocab.json

2.78 MB
Upload folder using huggingface_hub about 2 months ago