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
1673100
proofGPT-v0.1
/
README.md
Commit History
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
