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
3
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
Commit History
Upload tokenizer
ffe4cac
verified
reasonwang
commited on
May 13
Upload LlamaForCausalLM
78d833e
verified
reasonwang
commited on
May 13
initial commit
2a8c413
verified
reasonwang
commited on
May 13
reasonwang
commited on
reasonwang
commited on
reasonwang
commited on
