Kaiyu Yang

kaiyuy's activity

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

liked 2 models 10 months ago

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

Text Generation • 8B • Updated Aug 9, 2025 • 5.17k • • 28

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

Text Generation • Updated Aug 27, 2025 • 6.1k • • 69

liked a Space 11 months ago

Running

Agents

15

Lean Finder

👁

15

Code search for Lean 4

liked a dataset 12 months ago

sunblaze-ucb/verina

Viewer • Updated Jan 5 • 189 • 84 • 8

liked a dataset about 2 years ago

math-ai/AutoMathText

Viewer • Updated Jul 16, 2025 • 7.89M • 12.3k • 185

liked 3 models over 2 years ago

EleutherAI/llemma_34b

Text Generation • Updated Apr 3, 2024 • 988 • 101

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

Updated Jul 16, 2024 • 12 • 1

kaiyuy/leandojo-lean4-tacgen-byt5-small

0.3B • Updated Jul 16, 2024 • 2.91k • 15

liked 5 models almost 3 years ago

jmeadows17/MathT5-large

Text Generation • Updated Oct 11, 2024 • 15 • 5

bigcode/santacoder

Text Generation • Updated Oct 12, 2023 • 5.13k • 335

hoskinson-center/proofGPT-v0.1

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

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

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

bigcode/starcoder

Text Generation • 16B • Updated Oct 8, 2024 • 21.9k • 2.95k