-
antgroup
- hangzhou
Xiaoyu Zhang
BBuf
Working at Skywork.AI and the creator of GiantPandaCV official account.
SkyWork ChengDu
Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
Liangsheng Yin
hnyls2002
@acm-21, @sgl-project
Talk is cheap, show show way...
Shanghai Jiao Tong University Changsha
Teng Ma
stmatengss
PhD, Tsinghua (16~21); Postdoc, Alibaba (21~23); Staff Engineer, Alibaba (23~present)
Alibaba Group Beijing, China