🐳
Open Source
I build something verifiable and scalable for code.
- Shanghai
-
05:07
(UTC +08:00) - linghaoz.com
- @starryzhangcs
Xingchen Song(宋星辰)
xingchensong
Deaf | I like building tools~
Tsinghua University (2019-2022), WeNet Community (2021-now) Beijing, China
Wenhan Ma
CuteNPC
Ph.D. student at the School of Computer Science, Peking University
Peking University Beijing China
Kilian Lieret
klieret
Research Software Engineer at Princeton University
Princeton University Princeton, NJ, USA
Jinhao Dong
DJjjjhao
I'm a PhD student of Peking University, majoring in computer software and theory.
Peking University China
Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
Terena Wen
CTerena
And so I greet you with this moment's light.
Harvard University Boston, Massachusetts