Ziyi YANG / Home Page
Publications
Blogs
Experience
Ziyi Yang
Ph.D. Student in HKUST(GZ)
Follow
Guangzhou, China
HKUST(GZ)
Email
Google Scholar
ORCID
Github
LinkedIn
NIPS24-Neural Model Checking
一种新的硬件模型检查的机器学习方法
利用nn来表示给定硬件设计与给定LTL规范符号性的证明