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
sean-lamont commited on
Commit
3e74e05
•
1 Parent(s): 111598a

Create README.md

Browse files
Files changed (1) hide show
  1. README.md +1 -0
README.md CHANGED
@@ -0,0 +1 @@
 
 
1
+ Repackaged generator weights from kaiyuy/leandojo-pl-ckpts for the random Lean 4 LeanDojo benchmark.