Co-author ** CANCELLED ** Optimization over trained graph neural networks: mixed-integer formulations, symmetry breaking, and optimal molecular design WC346 — MINLP meets Machine Learning 24 Jul 2024 16:20 — Parallel Session