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
/
tokenizer.json
Commit History
Upload tokenizer
ffe4cac
verified
reasonwang
commited on
May 13, 2025
reasonwang commited on
