Hugging Face's logo
Ye Yuan's picture
3 2 6

Ye Yuan

shizue
sigridjineth's profile picture kaixuChen's profile picture jackybigwang's profile picture
·

AI & ML interests

Efficient LLMs, AI4Math, Automated Theorem Proving

Organizations

Beijing Academy of Artificial Intelligence's profile picture