Repository for paper: "Verifying message-passing neural networks via topology-based bounds tightening"

This repository contains the code and data used in the article

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

by Christopher Hojny (), Shiqiang Zhang (), Juan S. Campos, and Ruth Misener, (* co-first authors) which has been published at: Proceedings of the 41st International Conference on Machine Learning, Vienna, Austria, PMLR 235, 2024.