Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
hoskinson-center
/
proofGPT-v0.1-6.7B
like
9
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
1
Train
Deploy
Use this model
main
proofGPT-v0.1-6.7B
/
tokenizer.json
zhangirazerbayev
Upload tokenizer.json
ba2a52f
over 1 year ago
raw
Copy download link
history
contribute
delete
Safe
2.11 MB
File too large to display, you can
check the raw version
instead.