Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
ANTPG
/
deepseek-prover-isar
like
0
Follow
A Neural Theorem Proving Group
4
Text Generation
Transformers
Safetensors
llama
conversational
text-generation-inference
arxiv:
1910.09700
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
deepseek-prover-isar
13.8 GB
1 contributor
History:
3 commits
reasonwang
Upload tokenizer
ffe4cac
verified
10 months ago
.gitattributes
1.52 kB
initial commit
10 months ago
README.md
5.17 kB
Upload LlamaForCausalLM
10 months ago
config.json
687 Bytes
Upload LlamaForCausalLM
10 months ago
generation_config.json
121 Bytes
Upload LlamaForCausalLM
10 months ago
model-00001-of-00003.safetensors
4.99 GB
xet
Upload LlamaForCausalLM
10 months ago
model-00002-of-00003.safetensors
4.98 GB
xet
Upload LlamaForCausalLM
10 months ago
model-00003-of-00003.safetensors
3.85 GB
xet
Upload LlamaForCausalLM
10 months ago
model.safetensors.index.json
22.5 kB
Upload LlamaForCausalLM
10 months ago
special_tokens_map.json
482 Bytes
Upload tokenizer
10 months ago
tokenizer.json
7.5 MB
Upload tokenizer
10 months ago
tokenizer_config.json
1.82 kB
Upload tokenizer
10 months ago
