🏫
Schoooooooooooooooool
-
Sichuan University
- Chengdu, China
-
09:44
(UTC +08:00)
Highlights
- Pro
Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
Bihan Zhang
zhangbihan999
Crawl through the web of meaning that you weaved in person.
Sichuan University Sichuan University
Yinmin Zhong
PKUFlyingPig
CS Ph.D @ PKU; Machine Learning Systems; Distributed Systems;
Peking University Beijing, China