Ye Yuan

shizue

AI & ML interests

Efficient LLMs, AI4Math, Automated Theorem Proving

Organizations

shizue's activity