Lecture Notes on Verifying Graph Neural Networks

Open in new window