OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Zhiyuan Yan
PhD student, Hong Kong University of Science and Technology(Guangzhou)
Joined
September 2022
Names
Zhiyuan Yan
(Preferred)
,
Yan Zhiyuan
Emails
****@connect.hkust-gz.edu.cn
(Confirmed)
Personal Links
Homepage
Career & Education History
PhD student
Hong Kong University of Science and Technology(Guangzhou)
(hkust.edu)
2022
–
Present
MS student
National Technological University
(ntu.edu)
2020
–
2021
Undergrad student
Henan Univeristy
(henu.edu.cn)
2016
–
2020
Advisors, Relations & Conflicts
No relations added
Expertise
No areas of expertise listed
Publications
The Elephant in the Room: Variable Dependency in GNN-based SAT Solving
Zhiyuan Yan
,
Min Li
,
Zhengyuan Shi
,
Wenjie Zhang
,
Ying-Cong Chen
,
Hongce Zhang
Published: 02 Jun 2023, Last Modified: 02 Jun 2023
DAV 2023 Oral
Readers:
Everyone
Addressing Variable Dependency in GNN-based SAT Solving
Yan Zhiyuan
,
Min Li
,
Zhengyuan Shi
,
Wenjie Zhang
,
Ying-Cong Chen
,
Hongce Zhang
22 Sept 2022 (modified: 13 Feb 2023)
ICLR 2023 Conference Withdrawn Submission
Readers:
Everyone
Co-Authors
Hongce Zhang
Min Li
Wenjie Zhang
Ying-Cong Chen
Zhengyuan Shi