{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"OMLT","owner":"cog-imperial","isFork":false,"description":"Represent trained machine learning models as Pyomo optimization formulations","allTopics":["python","neural-network","optimization","cnn","modeling-language","pyomo","mathematical-modelling","nonlinear-optimization","keras-neural-networks","nonlinear-programming","mixed-integer-programming","mathematical-programming","relu","onnx","gradient-boosted-trees","mixed-integer-optimization"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":8,"issueCount":13,"starsCount":252,"forksCount":57,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T09:21:14.660Z"}},{"type":"Public","name":"OMLT_CAMD","owner":"cog-imperial","isFork":false,"description":"Repository for paper: \"Augmenting optimization-based molecular design with graph neural networks\".","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T10:34:06.704Z"}},{"type":"Public","name":"GNN_MIP_CAMD","owner":"cog-imperial","isFork":false,"description":"Repository for paper: \"Optimizing over trained GNNs via symmetry breaking\".","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T10:32:26.024Z"}},{"type":"Public","name":"entmoot","owner":"cog-imperial","isFork":false,"description":"Multiobjective black-box optimization using gradient-boosted trees","allTopics":["python","optimization","hyperparameter-optimization","black-box-optimization","bayesian-optimization","multiobjective-optimization","mixed-integer-programming","gradient-boosted-trees"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":5,"starsCount":51,"forksCount":12,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T12:37:22.953Z"}},{"type":"Public","name":"SnAKe","owner":"cog-imperial","isFork":false,"description":"Repository for paper: \"SnAKe: Bayesian Optimization with Pathwise Exploration\".","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-09T10:48:31.849Z"}},{"type":"Public","name":"DCBO","owner":"cog-imperial","isFork":false,"description":"Repository for paper: \"Dependence in constrained Bayesian optimization: When do we need it and how does it help?\".","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-10T12:30:06.762Z"}},{"type":"Public","name":"tree_kernel_gp","owner":"cog-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":6,"forksCount":2,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-06T13:32:59.582Z"}},{"type":"Public","name":"Partial-Lasserre-relaxation-sparse-maxcut","owner":"cog-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-17T21:56:03.667Z"}},{"type":"Public","name":"romodel","owner":"cog-imperial","isFork":false,"description":"Modeling robust optimization problems in Pyomo","allTopics":["robust-optimization","pyomo"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":2,"starsCount":79,"forksCount":14,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-11T10:48:14.330Z"}},{"type":"Public","name":"galini","owner":"cog-imperial","isFork":false,"description":"An extensible MINLP solver","allTopics":["optimization","minlp","pyomo","nonlinear-optimization","mathematical-programming","minlp-solver","mixed-integer-optimization"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":4,"starsCount":40,"forksCount":5,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-23T22:10:20.132Z"}},{"type":"Public","name":"suspect","owner":"cog-imperial","isFork":false,"description":"Special Structure Detection for Pyomo","allTopics":["pyomo","nonlinear-optimization","mathematical-programming","convexity","mixed-integer-optimization"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":26,"forksCount":5,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-14T10:31:11.106Z"}},{"type":"Public","name":"moo_trees","owner":"cog-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-04T17:54:09.785Z"}},{"type":"Public","name":"PartitionedFormulations_NN","owner":"cog-imperial","isFork":false,"description":"Implementation of partition-based formulations for mixed-integer optimization of trained ReLU neural networks","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-22T15:14:26.046Z"}},{"type":"Public","name":"pypopt","owner":"cog-imperial","isFork":false,"description":"Bindings to Ipopt C++ library for Python. 🐍","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-05T20:18:23.399Z"}},{"type":"Public","name":"galini-dashboard","owner":"cog-imperial","isFork":false,"description":"Dashboard for the GALINI Solver","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-05T20:17:24.134Z"}},{"type":"Public","name":"rogp","owner":"cog-imperial","isFork":false,"description":"Modeling Gaussian Processes in Pyomo","allTopics":["machine-learning","pyomo","gaussian-processes"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-09T09:30:18.139Z"}},{"type":"Public","name":"pooling-network","owner":"cog-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-26T17:14:52.269Z"}},{"type":"Public","name":"drill-scheduling","owner":"cog-imperial","isFork":false,"description":"Pyomo implementation of a drill scheduling case study","allTopics":["optimization","scheduling","pyomo"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-09T10:33:16.416Z"}},{"type":"Public","name":"concrete_GBT_instance_for_mixed_integer_convex_optimization_with_GBTs_embedded","owner":"cog-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-14T11:05:23.815Z"}},{"type":"Public","name":"points_in_circles","owner":"cog-imperial","isFork":true,"description":"This repository contains a collection of MINLP test instances available in both .nl and .gms format.","allTopics":[],"primaryLanguage":{"name":"GAMS","color":"#f49a22"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-06T14:06:34.688Z"}},{"type":"Public","name":"SDPCutSel-via-NN","owner":"cog-imperial","isFork":true,"description":"Selecting cutting planes for quadratic semidefinite outer-approximation via trained neural networks","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-14T08:59:23.903Z"}},{"type":"Public","name":"GPdoemd","owner":"cog-imperial","isFork":false,"description":"Design of experiments for model discrimination using Gaussian process surrogate models","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":36,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-15T11:48:39.521Z"}},{"type":"Public","name":"min_matches_heuristics","owner":"cog-imperial","isFork":false,"description":"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\".\".","allTopics":[],"primaryLanguage":{"name":"GAMS","color":"#f49a22"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-18T10:50:19.711Z"}},{"type":"Public","name":"stn","owner":"cog-imperial","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-17T15:47:51.813Z"}},{"type":"Public","name":"two_stage_scheduling","owner":"cog-imperial","isFork":false,"description":"Exact lexicographic scheduling methods and approximate recovery strategies for two-stage makespan scheduling","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-21T15:12:00.832Z"}},{"type":"Public","name":"tidal_turbines-source_inversion","owner":"cog-imperial","isFork":true,"description":"A repository for solving tidal stream turbine optimization with mixed-integer pde-constrained optimization","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-08T19:02:36.068Z"}},{"type":"Public","name":"StdPooling-PolyAlgos","owner":"cog-imperial","isFork":true,"description":"Implementation of polynomial-time algorithms for subclasses of single quality standard pooling problems.","allTopics":[],"primaryLanguage":{"name":"GAMS","color":"#f49a22"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-10T15:35:07.166Z"}},{"type":"Public","name":"hens","owner":"cog-imperial","isFork":true,"description":"Mistry, M., Misener, R. 2016. Optimising heat exchanger network synthesis using convexity properties of the logarithmic mean temperature difference. Computers & Chemical Engineering. 94, 1-17.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-04T13:38:22.216Z"}},{"type":"Public","name":"PoolingProblemDetection","owner":"cog-imperial","isFork":true,"description":"F. Ceccon, G. Kouyialis, R. Misener, \"Using functional programming to recognize named structure in an optimization problem: Application to pooling\"","allTopics":[],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-29T18:27:45.210Z"}}],"repositoryCount":29,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}