Hugging Face's logo
Kaiyu Yang's picture
4 1 9

Kaiyu Yang

kaiyuy
p-song1's profile picture AstoraDeOscar's profile picture NirJ's profile picture
·
https://yangky11.github.io/

AI & ML interests

None yet

Organizations

LeanDojo's profile picture Meta Llama's profile picture AI at Meta's profile picture

kaiyuy's activity

New activity in kaiyuy/leandojo-lean4-tacgen-byt5-small 4 months ago

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

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

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

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