Groups
The Weisfeiler–Leman (WL) hierarchy is a family of color-refinement procedures that iteratively color vertices (or k-tuples of vertices) to capture graph structure for isomorphism testing.
Group theory gives a precise language for symmetries, and neural networks can exploit these symmetries to learn faster and generalize better.