Get a GRIP, this will be a long TRIP: A Quantifiable Long-Range Framework for Verifying Over-squashing
This work introduces TRIP and its generalisation GRIP and its generalisation GRIP, constructive procedures that turn any graph into a provably long-ranged task by drawing features from stable distributions, and formally proves that violating any one of them admits failure modes that undermine conclusions drawn from the...
Ferran Hernandez Caralt, Simon Heilig, A. Bazaga et al.
· 1 citation