Halting Recurrent GNNs and the Graded $μ$-Calculus

Re-assign community