Machine learning for theorem proving in Lean: https://leandojo.org/
-
kaiyuy/leandojo-lean4-tacgen-byt5-small
Text2Text Generation • Updated • 8.82k • 12 -
kaiyuy/leandojo-lean4-retriever-byt5-small
Updated • 8.23k • 3 -
kaiyuy/leandojo-lean4-retriever-tacgen-byt5-small
Text2Text Generation • Updated • 1.78k • 4 -
kaiyuy/leandojo-lean3-tacgen-byt5-small
Text2Text Generation • Updated • 6 • 1