Search Results for author: Juan S. Campos

Found 1 papers, 0 papers with code

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

no code implementations21 Feb 2024 Christopher Hojny, Shiqiang Zhang, Juan S. Campos, Ruth Misener

Since graph neural networks (GNNs) are often vulnerable to attack, we need to know when we can trust them.

Graph Classification

Cannot find the paper you are looking for? You can Submit a new open access paper.