@misc{indiciaed7de6c108505,
  title = {Optimizing over trained GNNs via symmetry breaking},
  author = {Shiqiang Zhang and Juan S. Campos and Christian Feldmann and David Walz and Frederik Sandfort and Miriam Mathea and Calvin Tsay and Ruth Misener},
  year = {2023},
  url = {https://arxiv.org/abs/2305.09420},
  note = {Source identifier: 2305.09420}
}