Verifying message-passing neural networks via topology-based bounds tightening.

Christopher Hojny, Shiqiang Zhang, Juan S. Campos, Ruth Misener

Browse the full ICML paper archive.