Distance-Restricted Folklore Weisfeiler-Leman GNNs with Provable Cycle Counting Power - Zhou, Junru; Feng, Jiarui; Wang, Xiyuan; Zhang, Muhan (Advances in Neural Information Processing Systems, 2023)