On the Expressive Power of Implicit Line-Graph Higher-Order Weisfeiler--Leman
DGX agentarXiv:2609.16412v1 Announce Type: cross Abstract: Whitney's theorem allows isomorphism testing for connected simple graphs, apart from K_3 and K_{1,3}, to be formulated as distinguishing their line gr