Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
hoskinson-center
/
proofGPT-v0.1-6.7B
like
10
Follow
Hoskinson Center for Formal Mathematics
15
Text Generation
Transformers
PyTorch
hoskinson-center/proof-pile
English
gpt_neox
text generation
causal-lm
text-generation-inference
License:
mit
Model card
Files
Files and versions
xet
Community
2
Train
Deploy
Use this model
f307706
proofGPT-v0.1-6.7B
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
zhangirazerbayev
Upload tokenizer_config.json
f307706
over 2 years ago
.gitattributes
Safe
1.48 kB
initial commit
over 2 years ago
tokenizer_config.json
51 Bytes
Upload tokenizer_config.json
over 2 years ago
