Property-Driven Evaluation of GNN Expressiveness at Scale: Datasets, Framework, and Study

Sicong Che, Jiayi Yang, Sarfraz Khurshid +1

Advancing trustworthy AI requires principled software engineering approaches to model evaluation. Graph Neural Networks (GNNs) have achieved remarkable success in processing graph-…