Kezhi Li
Ph.D. Candidate, Department of Computer Science and Engineering
The Chinese University of Hong Kong
Hi, I'm Kezhi Li (李柯志), a first-year Ph.D. candidate in the CURE Lab at The Chinese University of Hong Kong, supervised by Prof. Qiang Xu. Previously, I worked with Prof. Ming Yang and Prof. Yeqiang Qian at Shanghai Jiao Tong University on 3D vision using LiDARs during my undergraduate studies, and received my B.Eng in Electrical and Computer Engineering from UM-SJTU JI.
My research interests focus on AI for Electronic Design Automation (AI+EDA) and formal verification, aiming to implement the state-of-the-art open-source hardware verification tools. Feel free to contact me via my email.
I am also a marxist.
Selected Publications
View all →AC-Refiner: Efficient Arithmetic Circuit Optimization Using Conditional Diffusion Models
Chenhao Xue, Kezhi Li, Jiaxing Zhang, Yi Ren, Zhengyuan Shi, Chen Zhang, Yibo Lin, Lining Zhang, Qiang Xu, Guangyu Sun
Functional Matching of Logic Subgraphs: Beyond Structural Isomorphism
Ziyang Zheng, Kezhi Li, Zhengyuan Shi, Qiang Xu
Forehead or Headlights - At Which Height Should LiDARs be Mounted on the Vehicle?
Kezhi Li, Yeqiang Qian, Chunxiang Wang, Ming Yang
Latest News
Awarded as Excellent Graduate
🎉 Awarded as an excellent graduate in Shanghai!
Paper accepted by IEEE TIV
🎊 One paper was accepted by IEEE Transactions on Intelligent Vehicles!