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
f2afbad
proofGPT-v0.1
Commit History
Update README.md
f2afbad
zhangirazerbayev
commited on
Dec 1, 2022
Create README.md
f5cb88a
zhangirazerbayev
commited on
Dec 1, 2022
Upload config.json
6e2c68e
zhangirazerbayev
commited on
Dec 1, 2022
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