Kaiyu Yang

kaiyuy's activity

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

liked a dataset 10 months ago

math-ai/AutoMathText

Viewer • Updated Oct 30, 2024 • 7.4M • 26.3k • 160

liked 3 models about 1 year ago

EleutherAI/llemma_34b

Text Generation • Updated Apr 3, 2024 • 336 • 94

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

Updated Jul 16, 2024 • 8 • 1

kaiyuy/leandojo-lean4-tacgen-byt5-small

Text2Text Generation • Updated Jul 16, 2024 • 866 • 12

liked 5 models over 1 year ago

jmeadows17/MathT5-large

Text Generation • Updated Oct 11, 2024 • 32 • 4

bigcode/santacoder

Text Generation • Updated Oct 12, 2023 • 4.04k • 330

hoskinson-center/proofGPT-v0.1

Text Generation • Updated Feb 15, 2023 • 895 • 3

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

Text Generation • Updated Feb 15, 2023 • 899 • 9

bigcode/starcoder

Text Generation • Updated Oct 8, 2024 • 17.7k • • 2.83k