Kaiyu Yang

kaiyuy

6 7 13

https://yangky11.github.io/

AI & ML interests

None yet

Recent Activity

upvoted a paper about 5 hours ago

Apodex 1.1: Scaling Agentic Intelligence for Complex Work

upvoted a collection 3 months ago

Apodex-1

upvoted a paper 5 months ago

MiroEval: Benchmarking Multimodal Deep Research Agents in Process and Outcome

View all activity

Organizations

liked 2 models about 1 year ago

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

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

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

Text Generation • 33B • Updated Aug 27, 2025 • 63.4k • • 72

liked a Space about 1 year ago

Lean Finder

👁

Code search for Lean 4

liked a dataset about 1 year ago

sunblaze-ucb/verina

Viewer • Updated Jan 5 • 189 • 53 • 10

liked a dataset over 2 years ago

math-ai/AutoMathText

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

liked a model over 2 years ago

EleutherAI/llemma_34b

Text Generation • Updated Apr 3, 2024 • 199 • 102

liked 2 models almost 3 years ago

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 • 608 • 15

liked 2 models about 3 years ago

jmeadows17/MathT5-large

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

bigcode/santacoder

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

liked 3 models over 3 years ago

Kaiyu Yang

AI & ML interests

Recent Activity

Organizations

kaiyuy's activity

Lean Finder