Machine learning for theorem proving in Lean: https://leandojo.org/
Kaiyu Yang
kaiyuy
AI & ML interests
None yet
Recent Activity
upvoted a paper 28 days ago
FrontierChallenge: Evaluating Scientific Workflow Completion upvoted a paper about 1 month ago
Apodex 1.1: Scaling Agentic Intelligence for Complex Work upvoted a collection 4 months ago
Apodex-1Organizations
models 17
kaiyuy/leandojo-lean4-retriever-tacgen-byt5-small
0.3B • Updated • 117 • 4
kaiyuy/premise-embeddings-leandojo-lean4-retriever-byt5-small
Updated
kaiyuy/ct2-leandojo-lean4-tacgen-byt5-small
Updated • 37
kaiyuy/ct2-leandojo-lean4-retriever-byt5-small
Updated • 25 • 1
kaiyuy/leandojo-lean4-retriever-byt5-small
0.2B • Updated • 11.4k • 5
kaiyuy/leandojo-lean4-tacgen-byt5-small
0.3B • Updated • 2.2k • 15
kaiyuy/leandojo-lean3-tacgen-byt5-small
0.3B • Updated • 21 • 1
kaiyuy/leandojo-lean3-retriever-byt5-small
0.2B • Updated • 26 • 2
kaiyuy/leandojo-lean3-retriever-tacgen-byt5-small
Updated • 45 • 1
kaiyuy/ct2-byt5-german-grammar
Updated • 5
datasets 0
None public yet