Publications

Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang, Ying-Cong Chen, Hongce Zhang (2023). The Elephant in the Room: Variable Dependency in GNN-based SAT Solving. DAV.

Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang, Ying-Cong Chen, Zhiyi Yuan, Hongce Zhang (2023). AsymSAT: Accelerating SAT Solving with Asymmetric Graph-based Model Prediction. DATE.

Chenlu Wang, Zhiyuan Yan, Chaoyang Gong, Hui Xie, Zhen Qiao, Zhiyi Yuan, Yu-Cheng Chen* (2022). Multicolor Light Mixing in Optofluidic Concave Interfaces for Anticounterfeiting with Deep Learning Authentication. ACS Appl. Mater. Interfaces.

(0001). .