kaiyuy
/

ct2-leandojo-lean4-retriever-byt5-small

Model card Files Files and versions

Tactic generation model in CT2 format, generated by this Python script.

Downloads last month: 8

Inference Providers NEW

This model isn't deployed by any Inference Provider. 🙋 Ask for provider support

Collection including kaiyuy/ct2-leandojo-lean4-retriever-byt5-small

LeanDojo

Machine learning for theorem proving in Lean: https://leandojo.org/ • 10 items • Updated Jul 23, 2024 • 2