Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
purewhite42
/
rautoformalizer_ra_deepseek
like
0
Text Generation
Transformers
PyTorch
hoskinson-center/proofnet
English
llama
lean4
statement-autoformalization
formal-mathematics
text-generation-inference
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
2
Deploy
Use this model
dba9d5d
rautoformalizer_ra_deepseek
13.8 GB
1 contributor
History:
2 commits
purewhite42
Add files using upload-large-folder tool
dba9d5d
verified
9 months ago
.gitattributes
Safe
1.52 kB
initial commit
9 months ago
config.json
Safe
732 Bytes
Add files using upload-large-folder tool
9 months ago
generation_config.json
Safe
121 Bytes
Add files using upload-large-folder tool
9 months ago
pytorch_model-00001-of-00008.bin
1.96 GB
xet
Add files using upload-large-folder tool
9 months ago
pytorch_model-00002-of-00008.bin
1.93 GB
xet
Add files using upload-large-folder tool
9 months ago
pytorch_model-00003-of-00008.bin
1.93 GB
xet
Add files using upload-large-folder tool
9 months ago
pytorch_model-00004-of-00008.bin
pickle
Detected Pickle imports (3)
"torch.HalfStorage"
,
"collections.OrderedDict"
,
"torch._utils._rebuild_tensor_v2"
What is a pickle import?
1.99 GB
xet
Add files using upload-large-folder tool
9 months ago
pytorch_model-00005-of-00008.bin
1.99 GB
xet
Add files using upload-large-folder tool
9 months ago
pytorch_model-00006-of-00008.bin
1.99 GB
xet
Add files using upload-large-folder tool
9 months ago
pytorch_model-00007-of-00008.bin
1.18 GB
xet
Add files using upload-large-folder tool
9 months ago
pytorch_model-00008-of-00008.bin
pickle
Detected Pickle imports (3)
"torch.HalfStorage"
,
"collections.OrderedDict"
,
"torch._utils._rebuild_tensor_v2"
What is a pickle import?
839 MB
xet
Add files using upload-large-folder tool
9 months ago
pytorch_model.bin.index.json
Safe
22.5 kB
Add files using upload-large-folder tool
9 months ago
special_tokens_map.json
Safe
323 Bytes
Add files using upload-large-folder tool
9 months ago
tokenizer.json
Safe
7.5 MB
Add files using upload-large-folder tool
9 months ago
tokenizer_config.json
Safe
833 Bytes
Add files using upload-large-folder tool
9 months ago
