conftrace_

recurrent gnn

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical characterization (1) graph neural network (1) modal logic (1) expressive power (1)

Papers

Logical characterizations of recurrent graph neural networks with reals and floats NeurIPS 2024