Downloads · 30 days
4
8% of all-time downloads
leandojo-lean4-tacgen-byt5-small-random
sean-lamont/leandojo-lean4-tacgen-byt5-small-random
leandojo-lean4-tacgen-byt5-small-random is a machine learning model from sean-lamont. Use it for the machine learning task on the model card, and read the license before you ship it in a product. It is set up for transformers.
Repackaged generator weights from kaiyuy/leandojo-pl-ckpts for the random Lean 4 LeanDojo benchmark.
All-time downloads
53
Public
Parameters
300M
1.2 GB on disk
Likes
0
Public
Repo makeup
Click a slice to open those files.
.safetensors1.2 GB · 100%
At a glance
- Library
- transformers
- Model type
- t5
- Access
- Public
- Created
- May 10, 2024
- Updated
- May 10, 2024
- SHA
- 7c1560e0
Model card
From the Hugging Face model README
Repackaged generator weights from kaiyuy/leandojo-pl-ckpts for the random Lean 4 LeanDojo benchmark.
- Library
- transformers
- Type
- t5
- Created
- May 10, 2024
- Updated
- May 10, 2024