Kaiyu Yang

kaiyuy

·

https://yangky11.github.io/

AI & ML interests

None yet

Recent Activity

upvoted a paper about 21 hours ago

Apodex 1.1: Scaling Agentic Intelligence for Complex Work

upvoted a collection 3 months ago

upvoted a paper 5 months ago

MiroEval: Benchmarking Multimodal Deep Research Agents in Process and Outcome

View all activity

Organizations

New activity in Goedel-LM/Goedel-Prover-V2-8B about 1 year ago

Update README.md

#1 opened about 1 year ago by

New activity in Goedel-LM/Goedel-Prover-V2-32B about 1 year ago

Update README.md

#1 opened about 1 year ago by

New activity in kaiyuy/leandojo-lean4-tacgen-byt5-small about 2 years ago

Adding `safetensors` variant of this model

#2 opened almost 3 years ago by

New activity in kaiyuy/leandojo-lean3-retriever-tacgen-byt5-small about 3 years ago

Adding `safetensors` variant of this model

#1 opened about 3 years ago by

New activity in kaiyuy/leandojo-lean4-tacgen-byt5-small about 3 years ago

Adding `safetensors` variant of this model

#1 opened about 3 years ago by

New activity in kaiyuy/leandojo-lean3-tacgen-byt5-small about 3 years ago

Adding `safetensors` variant of this model

#1 opened about 3 years ago by