TY - RPRT TI - Optimizing over trained GNNs via symmetry breaking AU - Shiqiang Zhang AU - Juan S. Campos AU - Christian Feldmann AU - David Walz AU - Frederik Sandfort AU - Miriam Mathea AU - Calvin Tsay AU - Ruth Misener PY - 2023 UR - https://arxiv.org/abs/2305.09420 ID - 2305.09420 ER -