Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
Robotics and AI Institute
bdaiinstitute
Solving the most important problems in robotics & AI to enable future generations of intelligent machines. Formerly known as The AI Institute.
United States of America
Saining Xie
s9xie
Assistant Professor of Computer Science at NYU Courant
Courant Institute of Mathematical Sciences, New York University NYC
Jiayuan Gu
Jiayuan-Gu
Ph.D. student at UCSD.
Major in Computer Science.
University of California, San Diego United States
PAIR code
PAIR-code
Code repositories for projects from the People+AI Research (PAIR) Initiative
Alex Chi Z
skyzh
building database systems @databricks, previously @cmu-db; a bubble tea every day makes me happy right away
Databricks 🧱 Bellevue, WA, USA ⇌ Shanghai, China
LancoPKU
lancopku
Language Computing and Machine Learning Group (Xu Sun's group) at Peking University
Peking University, Beijing