Shiqiang Zhang's repositories
DCBO
Repository for paper: "Dependence in constrained Bayesian optimization: When do we need it and how does it help?".
BSD-3-Clause000
GNN_MIP_CAMD
Repository for paper: "Optimizing over trained GNNs via symmetry breaking".
Language:PythonBSD-3-Clause000
mopti
Lightweight tools for experimental design and multi-objective optimization.
Language:Python000
OMLT
Represent trained machine learning models as Pyomo optimization formulations
Language:PythonNOASSERTION000
SCIP-MPNN
Repository for paper: "Verifying message-passing neural networks via topology-based bounds tightening"
Apache-2.0000