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

Open Webpage

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

Published: 01 Jan 2024, Last Modified: 22 Jan 2025ICML 2024EveryoneRevisionsBibTeXCC BY-SA 4.0