Arie Soeteman, Balder ten Cate: Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization. NeurIPS 2025