sean-lamont
/

leandojo-lean4-tacgen-byt5-small-random

Text2Text Generation

Inference Endpoints

text-generation-inference

Model card Files Files and versions Community

sean-lamont commited on May 10

Commit

111598a

•

1 Parent(s): dfeb4e1

Create README.md

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

Files changed (1) hide show

README.md +0 -0

README.md ADDED Viewed

File without changes