rmisener

rmisener's Stars

• ERGO-Code/HiGHS

  Linear optimization software

  Language:C++97333736180

• coin-or/Cbc

  COIN-OR Branch-and-Cut solver

  Language:C++81139483115

• pysmt/pysmt

  pySMT: A library for SMT formulae manipulation and solving

  Language:Python57318314130

• scipopt/scip

  SCIP - Solving Constraint Integer Programs

  Language:C401129864

• oxfordcontrol/COSMO.jl

  COSMO: Accelerated ADMM-based solver for convex conic optimisation problems (LP, QP, SOCP, SDP, ExpCP, PowCP). Automatic chordal decomposition of sparse semidefinite programs.

  Language:Julia2841412641

• cog-imperial/OMLT

  Represent trained machine learning models as Pyomo optimization formulations

  Language:Python275145858

• CPMpy/cpmpy

  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.

  Language:Python226925124

• experimental-design/bofire

  Experimental design and (multi-objective) bayesian optimization.

  Language:Python222811123

• IDAES/idaes-pse

  The IDAES Process Systems Engineering Framework

  Language:Python21725501234

• Gurobi/gurobi-machinelearning

  Formulate trained predictors in Gurobi models

  Language:Python211135543

• corail-research/SeaPearl.jl

  Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.

  Language:Julia168811810

• COPT-Public/cuPDLP-C

  Code for solving LP on GPU using first-order methods

  Language:C15171334

• fidelity/seq2pat

  [AAAI 2022] Seq2Pat: Sequence-to-Pattern Generation Library

  Language:Python119172214

• fidelity/jurity

  [ACM 2024] Jurity: Fairness & Evaluation Library

  Language:Python461307

• andrewrosemberg/HydroPowerModels.jl

  A Julia/JuMP Package for Hydrothermal economic dispatch Optimization

  Language:TeX436225

• artefactory/choice-learn

  Discrete choice modeling in Python with large datasets & models - Assortment & Pricing Optimization .

  Language:Python392313

• emlopt/emllib

  Empirical Model Learning Library

  Language:Python19304

• cog-imperial/SnAKe

  Repository for paper: "SnAKe: Bayesian Optimization with Pathwise Exploration".

  Language:Python15301

• jamesacodgers/bootstrapPLS

  Code for quantifying the uncertainty of a PLS prediction using bootstrap prediction.

  Language:Python10503

• jpfolch/MFBoom

  Language:Python10110

• cog-imperial/pooling-network

  Language:Python8501

• christopherhojny/SCIP-MPNN

  Repository for paper: "Verifying message-passing neural networks via topology-based bounds tightening"

  Language:C6201

• ckappatou/AcRoPLS

  Data-driven approach for generating Accurate and Robust PLS models by coupling pre-processing and model regression in a single optimization step.

  Language:Python6201

• cog-imperial/tree_kernel_gp

  Language:Python6302

• OliverKillane/emDB

  A proposal for an embedded relational database for rust, generated by macro with query optimisation.

  Language:Rust41130

• cog-imperial/GNN_MIP_CAMD

  Repository for paper: "Optimizing over trained GNNs via symmetry breaking".

  Language:Python3201

• cog-imperial/OMLT_CAMD

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

  Language:Python3302

• cog-imperial/DCBO

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

  Language:Python2101

• RSedgwick/TL_DOE_4_DNA

  Language:Jupyter Notebook130

• RSedgwick/TLGPs

  Comparison of transfer learning Gaussian process methods

  Language:Jupyter Notebook130