Machine learning for theorem proving in Lean: https://leandojo.org/
Kaiyu Yang
kaiyuy
AI & ML interests
None yet
Organizations
models
17
kaiyuy/leandojo-lean4-retriever-tacgen-byt5-small
0.3B
•
Updated
•
4.59k
•
4
kaiyuy/premise-embeddings-leandojo-lean4-retriever-byt5-small
Updated
kaiyuy/ct2-leandojo-lean4-tacgen-byt5-small
Updated
•
5
kaiyuy/ct2-leandojo-lean4-retriever-byt5-small
Updated
•
2
•
1
kaiyuy/leandojo-lean4-retriever-byt5-small
0.2B
•
Updated
•
1.11k
•
5
kaiyuy/leandojo-lean4-tacgen-byt5-small
0.3B
•
Updated
•
550
•
14
kaiyuy/leandojo-lean3-tacgen-byt5-small
0.3B
•
Updated
•
6
•
1
kaiyuy/leandojo-lean3-retriever-byt5-small
0.2B
•
Updated
•
10
•
2
kaiyuy/leandojo-lean3-retriever-tacgen-byt5-small
Updated
•
9
•
1
kaiyuy/ct2-byt5-german-grammar
Updated
•
5
datasets
0
None public yet