kaiyuy/leandojo-lean4-tacgen-byt5-small
Text Generation
•
0.3B
•
Updated
•
243
•
14
LeanDojo
Machine learning for theorem proving in Lean: https://leandojo.org/
-
-
kaiyuy/leandojo-lean4-retriever-byt5-small
0.2B • Updated • 499 • 5 -
kaiyuy/leandojo-lean4-retriever-tacgen-byt5-small
Text Generation • 0.3B • Updated • 361 • 4 -
kaiyuy/leandojo-lean3-tacgen-byt5-small
Text Generation • 0.3B • Updated • 12 • 1 -
kaiyuy/leandojo-lean3-retriever-tacgen-byt5-small
Text Generation • Updated • 9 • 1 -
kaiyuy/ct2-leandojo-lean4-tacgen-byt5-small
Updated • 5 -
kaiyuy/ct2-leandojo-lean4-retriever-byt5-small
Updated • 9 • 1 -
kaiyuy/ct2-byt5-german-grammar
Updated • 4 -
kaiyuy/ct2-byt5-small
Updated • 5 -
kaiyuy/leandojo-lean3-retriever-byt5-small
0.2B • Updated • 5 • 2