sean-lamont
/

leandojo-lean4-tacgen-byt5-small-random

File size: 100 Bytes

3e74e05

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