Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization | Read Paper on Bytez