Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
purewhite42
/
rautoformalizer_nora_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_nora_internlm
1 contributor
History:
3 commits
purewhite42
Create README.md
b9e17b1
verified
15 days ago
.gitattributes
Safe
1.52 kB
initial commit
16 days ago
README.md
Safe
6.28 kB
Create README.md
15 days ago
config.json
Safe
973 Bytes
Add files using upload-large-folder tool
16 days ago
configuration_internlm2.py
Safe
8.84 kB
Add files using upload-large-folder tool
16 days ago
generation_config.json
Safe
123 Bytes
Add files using upload-large-folder tool
16 days ago
modeling_internlm2.py
Safe
81 kB
Add files using upload-large-folder tool
16 days ago
pytorch_model-00001-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
16 days ago
pytorch_model-00002-of-00008.bin
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
,
"torch.HalfStorage"
What is a pickle import?
1.95 GB
LFS
Add files using upload-large-folder tool
16 days ago
pytorch_model-00003-of-00008.bin
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
,
"torch.HalfStorage"
What is a pickle import?
1.98 GB
LFS
Add files using upload-large-folder tool
16 days ago
pytorch_model-00004-of-00008.bin
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
,
"torch.HalfStorage"
What is a pickle import?
1.95 GB
LFS
Add files using upload-large-folder tool
16 days ago
pytorch_model-00005-of-00008.bin
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
,
"torch.HalfStorage"
What is a pickle import?
1.98 GB
LFS
Add files using upload-large-folder tool
16 days ago
pytorch_model-00006-of-00008.bin
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
,
"torch.HalfStorage"
What is a pickle import?
1.95 GB
LFS
Add files using upload-large-folder tool
16 days ago
pytorch_model-00007-of-00008.bin
pickle
Detected Pickle imports (3)
"torch.HalfStorage"
,
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
What is a pickle import?
1.98 GB
LFS
Add files using upload-large-folder tool
16 days ago
pytorch_model-00008-of-00008.bin
pickle
Detected Pickle imports (3)
"torch.HalfStorage"
,
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
What is a pickle import?
1.75 GB
LFS
Add files using upload-large-folder tool
16 days ago
pytorch_model.bin.index.json
Safe
18.2 kB
Add files using upload-large-folder tool
16 days ago
special_tokens_map.json
Safe
551 Bytes
Add files using upload-large-folder tool
16 days ago
tokenization_internlm2.py
Safe
8.81 kB
Add files using upload-large-folder tool
16 days ago
tokenization_internlm2_fast.py
Safe
7.81 kB
Add files using upload-large-folder tool
16 days ago
tokenizer.json
Safe
5.75 MB
Add files using upload-large-folder tool
16 days ago
tokenizer.model
Safe
1.48 MB
LFS
Add files using upload-large-folder tool
16 days ago
tokenizer_config.json
Safe
2.38 kB
Add files using upload-large-folder tool
16 days ago
