Hugging Face's logo
Ye Yuan's picture
6

Ye Yuan

shizue
Nadilazev's profile picture ziyeryyy's profile picture 21world's profile picture
·
yuanyehome

AI & ML interests

Efficient LLMs, AI4Math, Automated Theorem Proving

Organizations

Beijing Academy of Artificial Intelligence's profile picture

Papers 5

models

None public yet

datasets

None public yet