‪ZHIYUAN YAN‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	9	9
h-index	1	1
i10-index	0	0

0

6

3

2022202320241 5 3

Co-authors

YU-CHENG CHENNanyang Assistant Professor, Nanyang Technological University. SingaporeVerified email at umich.edu
Hongce ZhangHong Kong University of Science and TechnologyVerified email at ust.hk

ZHIYUAN YAN

ZHIYUAN YAN

Hong Kong University of Science and Technology (Guangzhou)

Verified email at connect.hkust-gz.edu.cn

Hardware formal verification machine learning AI for EDA


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Multicolor light mixing in optofluidic concave interfaces for anticounterfeiting with deep learning authentication C Wang, Z Yan, C Gong, H Xie, Z Qiao, Z Yuan, YC Chen ACS Applied Materials & Interfaces 14 (8), 10927-10935, 2022	8	2022
Addressing variable dependency in gnn-based SAT solving Z Yan, M Li, Z Shi, W Zhang, Y Chen, H Zhang arXiv preprint arXiv:2304.08738, 2023	1	2023
The Elephant in the Room: Variable Dependency in GNN-based SAT Solving Z Yan, M Li, Z Shi, W Zhang, YC Chen, H Zhang First International Workshop on Deep Learning-aided Verification, 2023		2023

The system can't perform the operation now. Try again later.

Articles 1–3