kaiyuy/leandojo-lean4-retriever-tacgen-byt5-small
0.3B • Updated • 201 • 4
Kaiyu Yang
kaiyuy
AI & ML interests
None yet
Recent Activity
upvoted a paper 3 days ago
MiroThinker-1.7 & H1: Towards Heavy-Duty Research Agents via Verification new activity 8 months ago
Goedel-LM/Goedel-Prover-V2-8B:Update README.md new activity 8 months ago
Goedel-LM/Goedel-Prover-V2-32B:Update README.mdOrganizations
kaiyuy/premise-embeddings-leandojo-lean4-retriever-byt5-small
Updated
kaiyuy/ct2-leandojo-lean4-tacgen-byt5-small
Updated • 4
kaiyuy/ct2-leandojo-lean4-retriever-byt5-small
Updated • 3 • 1
kaiyuy/leandojo-lean4-retriever-byt5-small
0.2B • Updated • 1.53k • 5
kaiyuy/leandojo-lean4-tacgen-byt5-small
0.3B • Updated • 847 • 15
kaiyuy/leandojo-lean3-tacgen-byt5-small
0.3B • Updated • 4 • 1
kaiyuy/leandojo-lean3-retriever-byt5-small
0.2B • Updated • 4 • 2
kaiyuy/leandojo-lean3-retriever-tacgen-byt5-small
Updated • 6 • 1
kaiyuy/ct2-byt5-german-grammar
Updated
kaiyuy/ct2-byt5-small
Updated
kaiyuy/imagenet-blur-pretrained-models
Updated
kaiyuy/NLProofS
Updated • 1
kaiyuy/attach-juxtapose-parser-ptb-xlnet
Updated
kaiyuy/attach-juxtapose-parser-ptb-bert
Updated • 1
kaiyuy/attach-juxtapose-parser-ctb-bert
Updated
kaiyuy/ASTactic
Updated • 1