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
zhangirazerbayev
commited on
Dec 1, 2022
Commit
4cfad08
•
1 Parent(s):
f2afbad
Update README.md
Browse files
Files changed (1)
hide
show
README.md
+1
-1
README.md
CHANGED
Viewed
@@ -8,7 +8,7 @@ tags:
8
- gpt_neox
9
license: mit
10
datasets:
11
-
- proof-pile
12
---
13
14
# ProofGPT-v0.1
8
- gpt_neox
9
license: mit
10
datasets:
11
+
-
hoskinson-center/
proof-pile
12
---
13
14
# ProofGPT-v0.1