cog-imperial/PartitionedFormulations_NN cog-imperial/PartitionedFormulations_NN

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Python
  • License
    Apache License 2.0
  • Created about 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cog-imperial/PartitionedFormulations_NN
github

cog-imperial

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Implementation of partition-based formulations for mixed-integer optimization of trained ReLU neural networks

More Repositories

1

OMLT

Represent trained machine learning models as Pyomo optimization formulations
Python
273
star
2

romodel

Modeling robust optimization problems in Pyomo
Python
80
star
3

entmoot

Multiobjective black-box optimization using gradient-boosted trees
Python
56
star
4

galini

An extensible MINLP solver
Python
43
star
5

GPdoemd

Design of experiments for model discrimination using Gaussian process surrogate models
Python
36
star
6

suspect

Special Structure Detection for Pyomo
Python
27
star
7

SnAKe

Repository for paper: "SnAKe: Bayesian Optimization with Pathwise Exploration".
Python
15
star
8

pooling-network

Python
8
star
9

tree_kernel_gp

Python
6
star
10

min_matches_heuristics

Source code of the methods proposed in "Dimitrios Letsios, Georgia Kouyialis, Ruth Misener. Heuristics with Performance Guarantees for the Minimum Number of Matches Problem in Heat Recovery Network Design. Computers and Chemical Engineering 113:57-85, 2018".".
GAMS
6
star
11

pypopt

Bindings to Ipopt C++ library for Python. 🐍
Python
3
star
12

rogp

Modeling Gaussian Processes in Pyomo
Python
3
star
13

two_stage_scheduling

Exact lexicographic scheduling methods and approximate recovery strategies for two-stage makespan scheduling
Python
3
star
14

GNN_MIP_CAMD

Repository for paper: "Optimizing over trained GNNs via symmetry breaking".
Python
3
star
15

OMLT_CAMD

Repository for paper: "Augmenting optimization-based molecular design with graph neural networks".
Python
3
star
16

galini-dashboard

Dashboard for the GALINI Solver
JavaScript
2
star
17

DCBO

Repository for paper: "Dependence in constrained Bayesian optimization: When do we need it and how does it help?".
Python
2
star
18

Partial-Lasserre-relaxation-sparse-maxcut

C++
2
star
19

drill-scheduling

Pyomo implementation of a drill scheduling case study
Python
1
star
20

moo_trees

Python
1
star