3.7k citations · 3.8k across the 13 of their papers we have counts for
4 papers · 1 filter
OCTAL: Graph Representation Learning for LTL Model Checking
Prasita Mukherjee, Haoteng Yin, Susheel Suresh +1
Model Checking is widely applied in verifying the correctness of complex and concurrent systems against a specification. Pure symbolic approaches while popular, still suffer from t…
Understanding Non-linearity in Graph Neural Networks from the Bayesian-Inference Perspective
Rongzhe Wei, Haoteng Yin, Junteng Jia +2
Graph neural networks (GNNs) have shown superiority in many prediction tasks over graphs due to their impressive capability of capturing nonlinear relations in graph-structured dat…
Equivariant and Stable Positional Encoding for More Powerful Graph Neural Networks
Haorui Wang, Haoteng Yin, Muhan Zhang +1
Graph neural networks (GNN) have shown great advantages in many graph-based learning tasks but often fail to predict accurately for a task-based on sets of nodes such as link/motif…
Algorithm and System Co-design for Efficient Subgraph-based Graph Representation Learning
Haoteng Yin, Muhan Zhang, Yanbang Wang +2
Subgraph-based graph representation learning (SGRL) has been recently proposed to deal with some fundamental challenges encountered by canonical graph neural networks (GNNs), and h…