Hugging Face's logo
Kaiyu Yang's picture
3 11

Kaiyu Yang

kaiyuy
alreadydone's profile picture p-song1's profile picture sunnyg's profile picture
·
https://yangky11.github.io/
KaiyuYang4
yangky11

AI & ML interests

None yet

Organizations

Anima AI+Science Lab's profile picture AI at Meta's profile picture Meta Llama's profile picture

kaiyuy's activity

New activity in kaiyuy/leandojo-lean3-retriever-tacgen-byt5-small about 1 year ago

Adding `safetensors` variant of this model
#1 opened about 1 year ago by SFconvertbot
New activity in kaiyuy/leandojo-lean4-tacgen-byt5-small about 1 year ago

Adding `safetensors` variant of this model
#1 opened about 1 year ago by SFconvertbot
New activity in kaiyuy/leandojo-lean3-tacgen-byt5-small about 1 year ago

Adding `safetensors` variant of this model
#1 opened about 1 year ago by SFconvertbot