logo
today local_bar
Individualization-Refinement

1 paper across 1 session

Poster Session 2

1 paper
Wednesday, December 3, 2025 · 4:30 PM → 7:30 PM
Exhibit Hall C,D,E
Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
#3815 · Arie Soeteman, Balder ten Cate

We study the separating power of Hierarchical Ego GNNs through graded hybrid logic characterizations.