Ye Yuan

shizue

AI & ML interests

Efficient LLMs, AI4Math, Automated Theorem Proving

Organizations

shizue's activity

New activity in BAAI/bge-multilingual-gemma2 about 1 month ago