Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
hoskinson-center
/
proofGPT-v0.1
like
3
Follow
Hoskinson Center for Formal Mathematics
13
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
Community
2
Train
Deploy
Use this model
9695b51
proofGPT-v0.1
Ctrl+K
Ctrl+K
2 contributors
History:
10 commits
zhangirazerbayev
Modified tokenizer_config.json, now includes <|endoftext|> token
9695b51
over 2 years ago
.gitattributes
Safe
1.48 kB
initial commit
over 2 years ago
README.md
675 Bytes
Update README.md
over 2 years ago
config.json
570 Bytes
Upload config.json
over 2 years ago
pytorch_model.bin
2.93 GB
LFS
Upload pytorch_model.bin
over 2 years ago
special_tokens_map.json
Safe
3 Bytes
Upload special_tokens_map.json
over 2 years ago
tokenizer.json
Safe
2.11 MB
Upload tokenizer.json
over 2 years ago
tokenizer_config.json
213 Bytes
Modified tokenizer_config.json, now includes <|endoftext|> token
over 2 years ago
