Kaiyu Yang

kaiyuy 's models 17

Sort:  Recently updated

kaiyuy/leandojo-lean4-retriever-tacgen-byt5-small

0.3B • Updated Jul 20, 2024 • 1.82k • 4

kaiyuy/premise-embeddings-leandojo-lean4-retriever-byt5-small

Updated Jul 16, 2024

kaiyuy/ct2-leandojo-lean4-tacgen-byt5-small

Updated Jul 16, 2024 • 8

kaiyuy/ct2-leandojo-lean4-retriever-byt5-small

Updated Jul 16, 2024 • 8 • 1

kaiyuy/leandojo-lean4-retriever-byt5-small

0.2B • Updated Jul 16, 2024 • 179 • 5

kaiyuy/leandojo-lean4-tacgen-byt5-small

0.3B • Updated Jul 16, 2024 • 175 • 14

kaiyuy/leandojo-lean3-tacgen-byt5-small

0.3B • Updated Jan 17, 2024 • 17 • 1

kaiyuy/leandojo-lean3-retriever-byt5-small

0.2B • Updated Jan 17, 2024 • 18 • 2

kaiyuy/leandojo-lean3-retriever-tacgen-byt5-small

Updated Jan 17, 2024 • 14 • 1

kaiyuy/ct2-byt5-german-grammar

Updated Dec 7, 2023 • 4

kaiyuy/ct2-byt5-small

Updated Dec 5, 2023 • 5

kaiyuy/imagenet-blur-pretrained-models

Updated Jul 7, 2023

kaiyuy/NLProofS

Updated Jul 5, 2023 • 1

kaiyuy/attach-juxtapose-parser-ptb-xlnet

Updated Jun 30, 2023

kaiyuy/attach-juxtapose-parser-ptb-bert

Updated Jun 30, 2023 • 1

kaiyuy/attach-juxtapose-parser-ctb-bert

Updated Jun 30, 2023

kaiyuy/ASTactic

Updated Jun 30, 2023 • 1