Hugging Face
Models
Datasets
Spaces
Buckets
new
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
/
generation_config.json
reasonwang
Upload LlamaForCausalLM
78d833e
verified
12 months ago
raw
Copy download link
history
blame
contribute
delete
Safe
121 Bytes
{
"_from_model_config"
:
true
,
"bos_token_id"
:
100000
,
"eos_token_id"
:
100001
,
"transformers_version"
:
"4.51.3"
}