YAML Metadata Warning:empty or missing yaml metadata in repo card
Check out the documentation for more information.
Repackaged generator weights from kaiyuy/leandojo-pl-ckpts for the random Lean 4 LeanDojo benchmark.
- Downloads last month
- 1
Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support