Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
reasonwang
/
deepseek-prover-isar
like
0
Text Generation
Transformers
Safetensors
llama
conversational
text-generation-inference
arxiv:
1910.09700
Model card
Files
Files and versions
Community
Train
Deploy
Use this model
main
deepseek-prover-isar
Ctrl+K
Ctrl+K
1 contributor
History:
3 commits
reasonwang
Upload LlamaForCausalLM
9c06a45
verified
13 days ago
.gitattributes
Safe
1.52 kB
initial commit
13 days ago
README.md
Safe
5.17 kB
Upload tokenizer
13 days ago
config.json
687 Bytes
Upload LlamaForCausalLM
13 days ago
generation_config.json
Safe
121 Bytes
Upload LlamaForCausalLM
13 days ago
model-00001-of-00003.safetensors
4.99 GB
LFS
Upload LlamaForCausalLM
13 days ago
model-00002-of-00003.safetensors
4.98 GB
LFS
Upload LlamaForCausalLM
13 days ago
model-00003-of-00003.safetensors
3.85 GB
LFS
Upload LlamaForCausalLM
13 days ago
model.safetensors.index.json
Safe
22.5 kB
Upload LlamaForCausalLM
13 days ago
special_tokens_map.json
Safe
482 Bytes
Upload tokenizer
13 days ago
tokenizer.json
Safe
7.5 MB
Upload tokenizer
13 days ago
tokenizer_config.json
Safe
1.82 kB
Upload tokenizer
13 days ago