Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
stoney0062
/
Leanabell-Prover-V2-DS
like
0
Safetensors
llama
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
main
Leanabell-Prover-V2-DS
13.8 GB
1 contributor
History:
2 commits
stoney0062
Upload folder using huggingface_hub
f976e58
verified
about 1 month ago
.gitattributes
Safe
1.52 kB
initial commit
about 1 month ago
README.md
Safe
31 Bytes
initial commit
about 1 month ago
config.json
Safe
858 Bytes
Upload folder using huggingface_hub
about 1 month ago
generation_config.json
Safe
121 Bytes
Upload folder using huggingface_hub
about 1 month ago
model-00001-of-00003.safetensors
5.37 GB
xet
Upload folder using huggingface_hub
about 1 month ago
model-00002-of-00003.safetensors
5.36 GB
xet
Upload folder using huggingface_hub
about 1 month ago
model-00003-of-00003.safetensors
3.09 GB
xet
Upload folder using huggingface_hub
about 1 month ago
model.safetensors.index.json
22.5 kB
Upload folder using huggingface_hub
about 1 month ago
tokenizer.json
Safe
7.5 MB
Upload folder using huggingface_hub
about 1 month ago
tokenizer_config.json
Safe
6.99 kB
Upload folder using huggingface_hub
about 1 month ago