Kaiyu Yang

kaiyuy's activity

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

liked 2 models 7 days ago

Goedel-LM/Goedel-Prover-V2-8B

8B • Updated 3 days ago • 1.45k • 4

Goedel-LM/Goedel-Prover-V2-32B

33B • Updated 3 days ago • 416 • 19

liked a Space 20 days ago

Running

3

3

Lean Finder

👁

Code search for Lean 4

liked a dataset about 2 months ago

sunblaze-ucb/verina

Viewer • Updated May 27 • 189 • 121 • 5

liked a dataset over 1 year ago

math-ai/AutoMathText

Viewer • Updated 7 days ago • 7.89M • 60.7k • 177

liked 2 models over 1 year ago

EleutherAI/llemma_34b

Text Generation • Updated Apr 3, 2024 • 62 • 99

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

Updated Jul 16, 2024 • 5 • 1

liked 2 models almost 2 years ago

kaiyuy/leandojo-lean4-tacgen-byt5-small

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

jmeadows17/MathT5-large

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

liked 4 models about 2 years ago

bigcode/santacoder

Text Generation • Updated Oct 12, 2023 • 3.01k • 333

hoskinson-center/proofGPT-v0.1

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

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

Text Generation • Updated Feb 15, 2023 • 1.22k • 10

bigcode/starcoder

Text Generation • 16B • Updated Oct 8, 2024 • 18k • 2.88k