Kaiyu Yang

kaiyuy's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes

liked a dataset 9 months ago

math-ai/AutoMathText

Viewer • Updated Oct 30 • 7.4M • 23.1k • 156

liked 3 models about 1 year ago

EleutherAI/llemma_34b

Text Generation • Updated Apr 3 • 459 • 90

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

Updated Jul 16 • 14 • 1

kaiyuy/leandojo-lean4-tacgen-byt5-small

Text2Text Generation • Updated Jul 16 • 1.31k • 12

liked 5 models over 1 year ago

jmeadows17/MathT5-large

Text Generation • Updated Oct 11 • 24 • 4

bigcode/santacoder

Text Generation • Updated Oct 12, 2023 • 4.83k • 327

hoskinson-center/proofGPT-v0.1

Text Generation • Updated Feb 15, 2023 • 1.49k • 3

hoskinson-center/proofGPT-v0.1-6.7B

Text Generation • Updated Feb 15, 2023 • 1.49k • 9

bigcode/starcoder

Text Generation • Updated Oct 8 • 13.5k • • 2.81k