Hugging Face's logo

sean-lamont
/
leandojo-lean4-tacgen-byt5-small-random

Text2Text Generation
Transformers
Safetensors
t5
Inference Endpoints
text-generation-inference
Model card Files Community
leandojo-lean4-tacgen-byt5-small-random / README.md
sean-lamont's picture
sean-lamont
Create README.md
3e74e05 verified
preview code
|
raw history blame contribute delete
No virus
100 Bytes

Repackaged generator weights from kaiyuy/leandojo-pl-ckpts for the random Lean 4 LeanDojo benchmark.