Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
hoskinson-center
/
proofGPT-v0.1-6.7B
like
9
Follow
Hoskinson Center for Formal Mathematics
8
Text Generation
Transformers
PyTorch
hoskinson-center/proof-pile
English
gpt_neox
text generation
causal-lm
text-generation-inference
Inference Endpoints
License:
mit
Model card
Files
Files and versions
Community
2
Train
Deploy
Use this model
02f405f
proofGPT-v0.1-6.7B
Commit History
Create README.md
02f405f
zhangirazerbayev
commited on
Feb 15, 2023
fixed tokenizer_config
102b01e
zhangirazerbayev
commited on
Feb 7, 2023
Update tokenizer_config.json
a8fa17a
zhangirazerbayev
commited on
Feb 4, 2023
Upload tokenizer.json
ba2a52f
zhangirazerbayev
commited on
Feb 4, 2023
Upload special_tokens_map.json
d467bce
zhangirazerbayev
commited on
Feb 4, 2023
Upload config.json
b3b40e8
zhangirazerbayev
commited on
Feb 4, 2023
Upload pytorch_model-00002-of-00002.bin
91e9a78
zhangirazerbayev
commited on
Feb 4, 2023
Upload pytorch_model.bin.index.json
93065f3
zhangirazerbayev
commited on
Feb 4, 2023
Upload pytorch_model-00001-of-00002.bin
d5dbad2
zhangirazerbayev
commited on
Feb 4, 2023
Upload tokenizer_config.json
f307706
zhangirazerbayev
commited on
Feb 4, 2023
initial commit
bc9be8d
zhangirazerbayev
commited on
Feb 4, 2023
zhangirazerbayev
commited on
