zshiqiang
Hi, I'm Shiqiang Zhang, a third year PhD candidate at Imperial College London in the Department of Computing, supervised by Ruth Misener.
Imperial College LondonLondon, UK
Pinned Repositories
mopti
Lightweight tools for experimental design and multi-objective optimization.
GNN_MIP_CAMD
Repository for paper: "Optimizing over trained GNNs via symmetry breaking".
OMLT
Represent trained machine learning models as Pyomo optimization formulations
OMLT_CAMD
Repository for paper: "Augmenting optimization-based molecular design with graph neural networks".
DCBO
Repository for paper: "Dependence in constrained Bayesian optimization: When do we need it and how does it help?".
GNN_MIP_CAMD
Repository for paper: "Optimizing over trained GNNs via symmetry breaking".
mopti
Lightweight tools for experimental design and multi-objective optimization.
OMLT
Represent trained machine learning models as Pyomo optimization formulations
OMLT_CAMD
Repository for paper: "Augmenting optimization-based molecular design with graph neural networks".
SCIP-MPNN
Repository for paper: "Verifying message-passing neural networks via topology-based bounds tightening"
zshiqiang's Repositories
zshiqiang/OMLT_CAMD
Repository for paper: "Augmenting optimization-based molecular design with graph neural networks".
zshiqiang/DCBO
Repository for paper: "Dependence in constrained Bayesian optimization: When do we need it and how does it help?".
zshiqiang/GNN_MIP_CAMD
Repository for paper: "Optimizing over trained GNNs via symmetry breaking".
zshiqiang/mopti
Lightweight tools for experimental design and multi-objective optimization.
zshiqiang/OMLT
Represent trained machine learning models as Pyomo optimization formulations
zshiqiang/SCIP-MPNN
Repository for paper: "Verifying message-passing neural networks via topology-based bounds tightening"