Skip to content
conftrace_

message-passing iteration

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

graph-size gnn (1) recurrent graph neural network (1) fixpoint logic (1) graph neural network (1) first-order logic (1) message passing (1)

Papers

Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic AAAI 2024