Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
haielab
/
DeepSeek-Prover-V2-7B-counterexamples-base
like
0
Transformers
Safetensors
arxiv:
1910.09700
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
DeepSeek-Prover-V2-7B-counterexamples-base
259 MB
1 contributor
History:
3 commits
haielab
Upload tokenizer
6fddcc1
verified
9 months ago
.gitattributes
1.52 kB
initial commit
9 months ago
README.md
5.17 kB
Upload model
9 months ago
adapter_config.json
818 Bytes
Upload model
9 months ago
adapter_model.safetensors
252 MB
xet
Upload model
9 months ago
chat_template.jinja
3.05 kB
Upload tokenizer
9 months ago
special_tokens_map.json
482 Bytes
Upload tokenizer
9 months ago
tokenizer.json
7.5 MB
Upload tokenizer
9 months ago
tokenizer_config.json
3.91 kB
Upload tokenizer
9 months ago
