Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
Jiawei Zhang
jwzhanggy
Founder and Director of IFM Lab
Associate Professor at UC Davis
IFM Lab, UC Davis Davis, CA
SXKDZ
CS PhD Candidate at UCLA / Large Language Models / AI for Scientific Discovery / Quantitative Trading
University of California, Los Angeles Los Angeles
ShusenTang
Graduate student majoring in the Computer Science at School of EE & CS, Peking University.
WICT(http://www.wict.pku.edu.cn/) Peking University, China