rahul3613
/

lean_byt5

theorem-proving

Model card Files Files and versions

2.4 GB

2 contributors

History: 9 commits

rahul3613's picture

SFconvertbot's picture

Adding `safetensors` variant of this model (#1)

796216d verified about 2 months ago

.gitattributes

1.52 kB

initial commit about 2 months ago
README.md

1.2 kB

Update README.md about 2 months ago
added_tokens.json

3.02 kB

Upload folder using huggingface_hub about 2 months ago
config.json

769 Bytes

Upload folder using huggingface_hub about 2 months ago
model.safetensors

1.2 GB
xet

Adding `safetensors` variant of this model (#1) about 2 months ago
pytorch_model.bin
Detected Pickle imports (3)
- "collections.OrderedDict",
- "torch._utils._rebuild_tensor_v2",
- "torch.FloatStorage"
What is a pickle import?
1.2 GB
xet

Upload folder using huggingface_hub about 2 months ago
special_tokens_map.json

3.09 kB

Upload folder using huggingface_hub about 2 months ago
tokenizer_config.json

25.6 kB

Upload folder using huggingface_hub about 2 months ago