Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
hoskinson-center
/
proofGPT-v0.1
like
3
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
8d772ec
proofGPT-v0.1
Commit History
Upload tokenizer.json
8d772ec
zhangirazerbayev
commited on
Dec 1, 2022
Upload special_tokens_map.json
187e5f3
zhangirazerbayev
commited on
Dec 1, 2022
Upload tokenizer_config.json
3bc161a
zhangirazerbayev
commited on
Dec 1, 2022
Upload pytorch_model.bin
d70ccd9
zhangirazerbayev
commited on
Dec 1, 2022
initial commit
ee5207f
zhangirazerbayev
commited on
Dec 1, 2022
zhangirazerbayev
commited on
