Multivariate-Information Adversarial Ensemble for Scalable Joint Distribution Matching. - Ziliang Chen 001; Zhanfu Yang; Xiaoxi Wang; Xiaodan Liang; Xiaopeng Yan; Guanbin Li; Liang Lin (ICML, 2019)

Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers. - Zhanfu Yang; Fei Wang 046; Ziliang Chen 001; Guannan Wei 001; Tiark Rompf (CoRR, 2019)

Graph Neural Reasoning May Fail in Certifying Boolean Unsatisfiability. - Ziliang Chen 001; Zhanfu Yang (CoRR, 2019)