sean-lamont
/

leandojo-lean4-tacgen-byt5-small-random

Text2Text Generation

text-generation-inference

Inference Endpoints

Model card Files Files and versions Community

leandojo-lean4-tacgen-byt5-small-random / README.md

sean-lamont's picture

Create README.md

3e74e05 verified 6 months ago

|

100 Bytes

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