- document
-
McDonald, Tom (author), Tsay, Calvin (author), Schweidtmann, A.M. (author), Yorke-Smith, N. (author)ReLU neural networks have been modelled as constraints in mixed integer linear programming (MILP), enabling surrogate-based optimisation in various domains and efficient solution of machine learning certification problems. However, previous works are mostly limited to MLPs. Graph neural networks (GNNs) can learn from non-euclidean data...journal article 2024