Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
rahul3613
/
lean_byt5_aug
like
0
English
t5
theorem-proving
lean
byt5
mathematics
code
arxiv:
2312.14188
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
main
lean_byt5_aug
1.2 GB
1 contributor
History:
4 commits
rahul3613
Added paper details
992f05b
verified
about 2 months ago
.gitattributes
Safe
1.52 kB
initial commit
about 2 months ago
README.md
1.21 kB
Added paper details
about 2 months ago
added_tokens.json
Safe
3.02 kB
Upload folder using huggingface_hub
about 2 months ago
config.json
Safe
769 Bytes
Upload folder using huggingface_hub
about 2 months ago
lean_prover_aug.bin
pickle
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
Safe
3.09 kB
Upload folder using huggingface_hub
about 2 months ago
tokenizer_config.json
Safe
25.6 kB
Upload folder using huggingface_hub
about 2 months ago
