Login / Signup
Zhanfu Yang
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 4
Top Topics
Joint Distribution
Sat Instances
Boolean Formula
Reasoning Tasks
Top Venues
CoRR
ICML
</>
Publications
</>
Ziliang Chen
,
Zhanfu Yang
Graph Neural Reasoning May Fail in Certifying Boolean Unsatisfiability.
CoRR
(2019)
Ziliang Chen
,
Zhanfu Yang
,
Xiaoxi Wang
,
Xiaodan Liang
,
Xiaopeng Yan
,
Guanbin Li
,
Liang Lin
Multivariate-Information Adversarial Ensemble for Scalable Joint Distribution Matching.
CoRR
(2019)
Ziliang Chen
,
Zhanfu Yang
,
Xiaoxi Wang
,
Xiaodan Liang
,
Xiaopeng Yan
,
Guanbin Li
,
Liang Lin
Multivariate-Information Adversarial Ensemble for Scalable Joint Distribution Matching.
ICML
(2019)
Zhanfu Yang
,
Fei Wang
,
Ziliang Chen
,
Guannan Wei
,
Tiark Rompf
Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers.
CoRR
(2019)