Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
purewhite42
/
rautoformalizer_gtra_internlm
like
0
Text Generation
Transformers
PyTorch
hoskinson-center/proofnet
English
internlm2
feature-extraction
lean4
statement-autoformalization
formal-mathematics
conversational
custom_code
License:
apache-2.0
Model card
Files
Files and versions
Community
Train
Use this model
main
rautoformalizer_gtra_internlm
1 contributor
History:
3 commits
purewhite42
Create README.md
0f856fd
verified
10 days ago
.gitattributes
Safe
1.52 kB
initial commit
12 days ago
README.md
Safe
6.28 kB
Create README.md
10 days ago
config.json
Safe
973 Bytes
Add files using upload-large-folder tool
11 days ago
configuration_internlm2.py
Safe
8.84 kB
Add files using upload-large-folder tool
11 days ago
generation_config.json
Safe
123 Bytes
Add files using upload-large-folder tool
11 days ago
modeling_internlm2.py
Safe
81 kB
Add files using upload-large-folder tool
11 days ago
pytorch_model-00001-of-00008.bin
pickle
Detected Pickle imports (3)
"collections.OrderedDict"
,
"torch._utils._rebuild_tensor_v2"
,
"torch.HalfStorage"
What is a pickle import?
1.95 GB
LFS
Add files using upload-large-folder tool
11 days ago
pytorch_model-00002-of-00008.bin
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"torch.HalfStorage"
,
"collections.OrderedDict"
What is a pickle import?
1.95 GB
LFS
Add files using upload-large-folder tool
11 days ago
pytorch_model-00003-of-00008.bin
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"torch.HalfStorage"
,
"collections.OrderedDict"
What is a pickle import?
1.98 GB
LFS
Add files using upload-large-folder tool
11 days ago
pytorch_model-00004-of-00008.bin
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"torch.HalfStorage"
,
"collections.OrderedDict"
What is a pickle import?
1.95 GB
LFS
Add files using upload-large-folder tool
11 days ago
pytorch_model-00005-of-00008.bin
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"torch.HalfStorage"
,
"collections.OrderedDict"
What is a pickle import?
1.98 GB
LFS
Add files using upload-large-folder tool
11 days ago
pytorch_model-00006-of-00008.bin
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"torch.HalfStorage"
,
"collections.OrderedDict"
What is a pickle import?
1.95 GB
LFS
Add files using upload-large-folder tool
11 days ago
pytorch_model-00007-of-00008.bin
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"torch.HalfStorage"
,
"collections.OrderedDict"
What is a pickle import?
1.98 GB
LFS
Add files using upload-large-folder tool
11 days ago
pytorch_model-00008-of-00008.bin
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"torch.HalfStorage"
,
"collections.OrderedDict"
What is a pickle import?
1.75 GB
LFS
Add files using upload-large-folder tool
11 days ago
pytorch_model.bin.index.json
Safe
18.2 kB
Add files using upload-large-folder tool
11 days ago
special_tokens_map.json
Safe
551 Bytes
Add files using upload-large-folder tool
11 days ago
tokenization_internlm2.py
Safe
8.81 kB
Add files using upload-large-folder tool
11 days ago
tokenization_internlm2_fast.py
Safe
7.81 kB
Add files using upload-large-folder tool
11 days ago
tokenizer.json
Safe
5.75 MB
Add files using upload-large-folder tool
11 days ago
tokenizer.model
Safe
1.48 MB
LFS
Add files using upload-large-folder tool
11 days ago
tokenizer_config.json
Safe
2.38 kB
Add files using upload-large-folder tool
11 days ago
