Shaoyu Yang
shaoyuyoung
Master student at Nanjing University, focusing on finding and fixing bugs in AI Infras (e.g., @pytorch, @vllm-project).
Nanjing University Always in your mind
Bersekas Tully
BoxiYu
I like building coding/test agents and automated testing methods, my homepage is https://boxiyu.github.io/.
Wenyuan Jiang
jwyjohn
Previously Undergradu-Cat at Tongji University.
Tongji University Shanghai, China
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
lichuang
lichuang
"When you don’t create things, you become defined by your tastes rather than ability. your tastes only narrow & exclude people. so create."
Guangzhou
Weizhen Wang
hawkingrei
PingCAP Shanghai,China