9 citations · 17 across the 3 of their papers we have counts for
3 papers
cs.LG2019★ 6 cited
Graph Neural Reasoning May Fail in Certifying Boolean Unsatisfiability
Ziliang Chen, Zhanfu Yang
It is feasible and practically-valuable to bridge the characteristics between graph neural networks (GNNs) and logical reasoning. Despite considerable efforts and successes witness…
cs.LG2019★ 2 cited
Multivariate-Information Adversarial Ensemble for Scalable Joint Distribution Matching
Ziliang Chen, Zhanfu Yang, Xiaoxi Wang +4
A broad range of cross--domain generation researches boil down to matching a joint distribution by deep generative models (DGMs). Hitherto algorithms excel in pairwise domains w…
cs.AI2019★ 9 cited
Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers
Zhanfu Yang, Fei Wang, Ziliang Chen +2
In this paper, we investigate the feasibility of learning GNN (Graph Neural Network) based solvers and GNN-based heuristics for specified QBF (Quantified Boolean Formula) problems.…