Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Minhdn
/
deepseek-prover-sinq-4bit
like
0
Text Generation
Transformers
Safetensors
llama
deepseek
prover
lean4
theorem-proving
quantized
sinq
4-bit precision
conversational
text-generation-inference
8-bit precision
arxiv:
2405.14333
arxiv:
2509.22944
License:
mit
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
deepseek-prover-sinq-4bit
4.82 GB
1 contributor
History:
3 commits
Minhdn
Upload folder using huggingface_hub
47b461c
verified
3 months ago
.gitattributes
1.52 kB
initial commit
3 months ago
README.md
3.23 kB
Upload folder using huggingface_hub
3 months ago
chat_template.jinja
886 Bytes
Upload folder using huggingface_hub
3 months ago
config.json
687 Bytes
Upload folder using huggingface_hub
3 months ago
model-00001-of-00002.safetensors
3.98 GB
xet
Upload folder using huggingface_hub
3 months ago
model-00002-of-00002.safetensors
839 MB
xet
Upload folder using huggingface_hub
3 months ago
model.safetensors.index.json
142 kB
Upload folder using huggingface_hub
3 months ago
model.safetensors.index.json.meta.json
69 kB
Upload folder using huggingface_hub
3 months ago
special_tokens_map.json
369 Bytes
Upload folder using huggingface_hub
3 months ago
tokenizer.json
7.5 MB
Upload folder using huggingface_hub
3 months ago
tokenizer_config.json
887 Bytes
Upload folder using huggingface_hub
3 months ago
