Zhengyuan Shi (石正源) is a Ph.D. Candidate in CURE Lab at The Chinese University of Hong Kong. I am a student enrolled in the Joint Ph.D. Program with Huawei Noah’s Lab. Prior to my journey in CUHK, I obtained the B.Eng. degree in Shandong University in 2021.

My research focuses on the following areas: AI for EDA: Large Circuit Model, Logic Synthesis and Formal Verification. AI for Optimization Problem: SAT/SMT, MaxSAT, ILP.