Machine learning for theorem proving in Lean: https://leandojo.org/
Kaiyu Yang
kaiyuy
AI & ML interests
None yet
Recent Activity
upvoted a collection about 4 hours ago
Apodex-1 upvoted a paper 2 months ago
MiroEval: Benchmarking Multimodal Deep Research Agents in Process and Outcome upvoted a paper 3 months ago
MiroThinker-1.7 & H1: Towards Heavy-Duty Research Agents via VerificationOrganizations
models 17
kaiyuy/leandojo-lean4-retriever-tacgen-byt5-small
0.3B • Updated • 2.6k • 4
kaiyuy/premise-embeddings-leandojo-lean4-retriever-byt5-small
Updated
kaiyuy/ct2-leandojo-lean4-tacgen-byt5-small
Updated • 6
kaiyuy/ct2-leandojo-lean4-retriever-byt5-small
Updated • 6 • 1
kaiyuy/leandojo-lean4-retriever-byt5-small
0.2B • Updated • 7.37k • 5
kaiyuy/leandojo-lean4-tacgen-byt5-small
0.3B • Updated • 1.19k • 15
kaiyuy/leandojo-lean3-tacgen-byt5-small
0.3B • Updated • 6 • 1
kaiyuy/leandojo-lean3-retriever-byt5-small
0.2B • Updated • 4 • 2
kaiyuy/leandojo-lean3-retriever-tacgen-byt5-small
Updated • 3 • 1
kaiyuy/ct2-byt5-german-grammar
Updated • 2
datasets 0
None public yet