Structural Preservation and the Logical Expressiveness of Graph Neural Networks

En 3 lignesArticle théorique établissant des correspondances entre classes de GNN et fragments de logique modale graduée. Les auteurs caractérisent l'expressivité logique de GNN préservant des propriétés structurelles (plongements, homomorphismes injectifs, homomorphismes) via des fragments spécifiques de logique modale existentielle.

Résumé généré par Claude — vérifié par l'humain