Zheng Yuan
GanjinZero
Ph.D. from THU Center of Statistical Science. Ex: Qwen. Focus on Alignment, Reasoning and Medical in NLP.
Beijing
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
Kaiyu Yang
yangky11
Research Scientist @ Meta, FAIR
Meta Fundamental AI Research (FAIR) New York, NY
Yuxuan Chen
chenyx512
Past deep learning & robotics enthusiast.
Current gambling & gaming addict.
Yale'25
New Haven, CT
Grigori Fursin
gfursin
Automating co-design of more efficient, cost-effective and reliable software and hardware for AI, ML and other emerging workloads
Paris
Patrick(Jingyuan) Chen
jingyuanchan
Researcher at Vista, UR |
Ex Intern at Tencent AI Lab |
Ex Visting Researcher at IIP Lab at Wuhan University
Tencent AI Lab | University of Rochester Rochester, NY
GalvinGao
GalvinGao
Full-stack w/ TypeScript, UI/UX, React & RN (w/ Expo), iOS Native, Go & Python, Kubernetes & MLE ✦ ゲキチュウマイ & プロセカ Player ✦ Maintains Penguin Statistics ✦ 初音ミク最高
Anywhere and Everywhere 0°00'00.0"N 0°00'00.0"E
Jiaming (George) Yu
georgeyjm
Mathematics & Philosophy @ University of Oxford | AI Safety, NLP & RL, Typography
Shanghai, China
Linxuan M
linxuanm
CMU SCS '27 | I write compilers that sometimes work if they decide to be nice to me
Kalimdor, Azeroth
PreviousNext