Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
Yinmin Zhong
PKUFlyingPig
CS Ph.D @ PKU | Machine Learning Systems | Previously @ StepFun, ByteDance, Alibaba |
Peking University Beijing, China
Alpa
alpa-projects
Distributed training of large-scale deep learning models
United States of America
Gyuyeong Kim
GyuyeongKim
Networked systems researcher
Sungshin Women's University Seoul, South Korea
Papers We Love
papers-we-love
A repository for good papers to read, PWL chapters, and PWL content.
New York, NY