I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.
- Internal cat of a doughnut
- https://trebor-huang.github.io/
- @trebor@types.pl
胡译文
huyiwen
Undergraduate majored in AI and Fintech. Developed a highly capable 2.4B LLM. Participated in the Olympiad in Informatics.
WeChat: yiwen_hu
Renmin University of China Beijing
Zhao Yuyang 赵雨扬
astrainfinita
The family name is Zhao.
CUHK-Shenzhen | 香港中文大学(深圳) {Futian, Longgang}, Shenzhen | 深圳{福田, 龙岗}
Chern Yan-Shiuh
alphaGem
A graduate student of University of Amsterdam, majoring in artificial intelligence.
Universiteit van Amsterdam Amsterdam
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK