Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
haielab
/
DeepSeek-Prover-V2-7B-conjecture-chat-lr3e-5-gas4-seed456
like
0
Transformers
Safetensors
arxiv:
1910.09700
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
DeepSeek-Prover-V2-7B-conjecture-chat-lr3e-5-gas4-seed456
/
chat_template.jinja
Commit History
Upload tokenizer
18eecd3
verified
haielab
commited on
Aug 1