Peiyang-Song
CS Undergrad @ Caltech. AI Researcher @ Stanford.
California Institute of TechnologyPasadena, CA, United States of America
Peiyang-Song's Following
- leanprover
- gpoesiaBelo Horizonte, Brazil
- samminwengHamilton, New Zealand
- wiio12
- Robertboy18Caltech
- PengruiHan
- XuandongZhaoUC Berkeley
- ZechenMToronto, ON, CA
- junrui-liu
- WeixiangYANSanta Barbara, CA
- chen-zichenUCSB
- ezhang7423
- chenhongqiaoPasadena, CA
- kenantangUCSB
- timsherwoodUC Santa Barbara
- yulonghuiPeking University
- zkx06111
- wuqiuche
- JC-Chen1South China University of Technology
- minimario
- smojhaCaltech
- RhysGretsch81
- lean-dojoUnited States of America
- rchalamala
- leanprover-community
- fdxmw
- loganrjmurphyToronto, Ontario, Canada
- yangky11Meta Fundamental AI Research (FAIR)
- zivsb
- ccs-1l-f22