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

21 February 2024

Papers citing "Verifying message-passing neural networks via topology-based bounds tightening"

2 / 2 papers shown

Title
Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks Fabian Badilla Marcos Goycoolea Gonzalo Muñoz Thiago Serra 57 7 0 27 Dec 2023
Mixed-Integer Optimisation of Graph Neural Networks for Computer-Aided Molecular Design Tom McDonald Calvin Tsay Artur M. Schweidtmann Neil Yorke-Smith 66 14 0 02 Dec 2023