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
d782ab6
proofGPT-v0.1
/
README.md
Commit History
Update README.md
d782ab6
zhangirazerbayev
commited on
Jan 15, 2023
Update README.md
0971c99
zhangirazerbayev
commited on
Jan 15, 2023
Update README.md
1673100
zhangirazerbayev
commited on
Jan 9, 2023
Update README.md
4cfad08
zhangirazerbayev
commited on
Dec 1, 2022
Update README.md
f2afbad
zhangirazerbayev
commited on
Dec 1, 2022
Create README.md
f5cb88a
zhangirazerbayev
commited on
Dec 1, 2022
