Hugging Face
Models
Datasets
Spaces
Community
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
1
Train
Deploy
Use this model
main
rautoformalizer_gtra_internlm
Ctrl+K
Ctrl+K
1 contributor
History:
4 commits
purewhite42
Update README.md
e4360f9
verified
2 months ago
.gitattributes
Safe
1.52 kB
initial commit
5 months ago
README.md
Safe
6.32 kB
Update README.md
2 months ago
config.json
Safe
973 Bytes
Add files using upload-large-folder tool
5 months ago
configuration_internlm2.py
Safe
8.84 kB
Add files using upload-large-folder tool
5 months ago
generation_config.json
Safe
123 Bytes
Add files using upload-large-folder tool
5 months ago
modeling_internlm2.py
Safe
81 kB
Add files using upload-large-folder tool
5 months ago
pytorch_model-00001-of-00008.bin
Safe
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
5 months ago
pytorch_model-00002-of-00008.bin
Safe
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
5 months ago
pytorch_model-00003-of-00008.bin
Safe
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
5 months ago
pytorch_model-00004-of-00008.bin
Safe
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
5 months ago
pytorch_model-00005-of-00008.bin
Safe
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
5 months ago
pytorch_model-00006-of-00008.bin
Safe
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
5 months ago
pytorch_model-00007-of-00008.bin
Safe
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
5 months ago
pytorch_model-00008-of-00008.bin
Safe
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
5 months ago
pytorch_model.bin.index.json
Safe
18.2 kB
Add files using upload-large-folder tool
5 months ago
special_tokens_map.json
Safe
551 Bytes
Add files using upload-large-folder tool
5 months ago
tokenization_internlm2.py
Safe
8.81 kB
Add files using upload-large-folder tool
5 months ago
tokenization_internlm2_fast.py
Safe
7.81 kB
Add files using upload-large-folder tool
5 months ago
tokenizer.json
Safe
5.75 MB
Add files using upload-large-folder tool
5 months ago
tokenizer.model
Safe
1.48 MB
LFS
Add files using upload-large-folder tool
5 months ago
tokenizer_config.json
Safe
2.38 kB
Add files using upload-large-folder tool
5 months ago
