Kaiyu Yang's picture

4 1 9

Kaiyu Yang

kaiyuy

·

https://yangky11.github.io/

AI & ML interests

None yet

Organizations

kaiyuy's activity

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

Adding `safetensors` variant of this model

#2 opened over 1 year ago by

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

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

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