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
b3b40e8
proofGPT-v0.1-6.7B
1 contributor
History:
6 commits
zhangirazerbayev
Upload config.json
b3b40e8
over 1 year ago
.gitattributes
Safe
1.48 kB
initial commit
over 1 year ago
config.json
Safe
571 Bytes
Upload config.json
over 1 year ago
pytorch_model-00001-of-00002.bin
Safe
pickle
Detected Pickle imports (4)
"torch.HalfStorage"
,
"torch.ByteStorage"
,
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
What is a pickle import?
9.91 GB
LFS
Upload pytorch_model-00001-of-00002.bin
over 1 year ago
pytorch_model-00002-of-00002.bin
Safe
pickle
Detected Pickle imports (4)
"torch._utils._rebuild_tensor_v2"
,
"torch.HalfStorage"
,
"collections.OrderedDict"
,
"torch.ByteStorage"
What is a pickle import?
3.94 GB
LFS
Upload pytorch_model-00002-of-00002.bin
over 1 year ago
pytorch_model.bin.index.json
Safe
42 kB
Upload pytorch_model.bin.index.json
over 1 year ago
tokenizer_config.json
Safe
51 Bytes
Upload tokenizer_config.json
over 1 year ago