Verifying Graph Neural Networks with Readout is Intractable

Open in new window