Recurrent GraphNeural NetworkswithSet-BasedAggregation
Recurrent GNNs iterate message passing to convergence, and their logical characterizations to date rely on multi-set aggregation, graded (counting) logics, and halting or acceptance conditions that cannot be verified from the network's parameters. We study recurrent GNNs with set-based aggregation and identify sufficient conditions checkable from the weights for networks to compile into formulas…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.
