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