17 citations · 25 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AI2023
LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
Weidi Xu, Jingwei Wang, Lele Xie +7
Integrating first-order logic constraints (FOLCs) with neural networks is a crucial but challenging problem since it involves modeling intricate correlations to satisfy the constra…
cs.LG2023
DRGCN: Dynamic Evolving Initial Residual for Deep Graph Convolutional Networks
Lei Zhang, Xiaodong Yan, Jianshan He +2
Graph convolutional networks (GCNs) have been proved to be very practical to handle various graph-related tasks. It has attracted considerable research interest to study deep GCNs,…