30 citations · 62 across the 13 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.LG2023★ 3 cited
DeepGate2: Functionality-Aware Circuit Representation Learning
Zhengyuan Shi, Hongyang Pan, Sadaf Khan +7
Circuit representation learning aims to obtain neural representations of circuit elements and has emerged as a promising research direction that can be applied to various EDA and l…
cs.AI2023
Addressing Variable Dependency in GNN-based SAT Solving
Zhiyuan Yan, Min Li, Zhengyuan Shi +3
Boolean satisfiability problem (SAT) is fundamental to many applications. Existing works have used graph neural networks (GNNs) for (approximate) SAT solving. Typical GNN-based end…
cs.LG2023
DeepSeq: Deep Sequential Circuit Learning
Sadaf Khan, Zhengyuan Shi, Min Li +1
Circuit representation learning is a promising research direction in the electronic design automation (EDA) field. With sufficient data for pre-training, the learned general yet ef…