Ye Yuan

shizue

AI & ML interests

Efficient LLMs, AI4Math, Automated Theorem Proving

Organizations

models

None public yet

datasets

None public yet