Kaiyu Yang's picture

Kaiyu Yang

kaiyuy

·

https://yangky11.github.io/

AI & ML interests

None yet

Recent Activity

upvoted a paper about 1 month ago

MiroEval: Benchmarking Multimodal Deep Research Agents in Process and Outcome

upvoted a paper about 2 months ago

MiroThinker-1.7 & H1: Towards Heavy-Duty Research Agents via Verification

new activity 10 months ago

Goedel-LM/Goedel-Prover-V2-8B:Update README.md

View all activity

Organizations

liked 2 models 10 months ago

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

Text Generation • 8B • Updated Aug 9, 2025 • 4.18k • • 27

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

Text Generation • Updated Aug 27, 2025 • 3.78k • • 66

liked a Space 10 months ago

Lean Finder

Code search for Lean 4

liked a dataset 11 months ago

sunblaze-ucb/verina

Viewer • Updated Jan 5 • 189 • 561 • 8

liked a dataset about 2 years ago

math-ai/AutoMathText

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

liked 3 models over 2 years ago

EleutherAI/llemma_34b

Text Generation • Updated Apr 3, 2024 • 1.01k • 101

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

Updated Jul 16, 2024 • 7 • 1

kaiyuy/leandojo-lean4-tacgen-byt5-small

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

liked 5 models almost 3 years ago

jmeadows17/MathT5-large

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

bigcode/santacoder

Text Generation • Updated Oct 12, 2023 • 5.45k • 336

hoskinson-center/proofGPT-v0.1

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

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

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

bigcode/starcoder

Text Generation • 16B • Updated Oct 8, 2024 • 14.2k • 2.94k