TY  - RPRT
TI  - Verifying message-passing neural networks via topology-based bounds tightening
AU  - Christopher Hojny
AU  - Shiqiang Zhang
AU  - Juan S. Campos
AU  - Ruth Misener
PY  - 2024
UR  - https://arxiv.org/abs/2402.13937
ID  - 2402.13937
ER  -