sean-lamont's picture
Create README.md
3e74e05 verified
Repackaged generator weights from kaiyuy/leandojo-pl-ckpts for the random Lean 4 LeanDojo benchmark.