kaiyuy/leandojo-lean4-tacgen-byt5-small
Text2Text Generation
•
Updated
•
1.47k
•
12
LeanDojo
Machine learning for theorem proving in Lean: https://leandojo.org/
-
-
kaiyuy/leandojo-lean4-retriever-byt5-small
Updated • 1.78k • 3 -
kaiyuy/leandojo-lean4-retriever-tacgen-byt5-small
Text2Text Generation • Updated • 826 • 4 -
kaiyuy/leandojo-lean3-tacgen-byt5-small
Text2Text Generation • Updated • 14 • 1 -
kaiyuy/leandojo-lean3-retriever-tacgen-byt5-small
Text2Text Generation • Updated • 10 • 1 -
kaiyuy/ct2-leandojo-lean4-tacgen-byt5-small
Updated • 27 -
kaiyuy/ct2-leandojo-lean4-retriever-byt5-small
Updated • 15 • 1 -
kaiyuy/ct2-byt5-german-grammar
Updated • 10 -
kaiyuy/ct2-byt5-small
Updated • 15 -
kaiyuy/leandojo-lean3-retriever-byt5-small
Updated • 17 • 2