Optimizing over trained GNNs via symmetry breaking

Shiqiang Zhang, Juan S. Campos, Christian Feldmann +5

Optimization over trained machine learning models has applications including: verification, minimizing neural acquisition functions, and integrating a trained surrogate into a larg…