Search Results for author: Elias B. Khalil

Found 22 papers, 15 papers with code

Learning Combinatorial Optimization Algorithms over Graphs

8 code implementations NeurIPS 2017 Hanjun Dai, Elias B. Khalil, Yuyu Zhang, Bistra Dilkina, Le Song

The design of good heuristics or approximation algorithms for NP-hard combinatorial optimization problems often requires significant specialized knowledge and trial-and-error.

Combinatorial Optimization Graph Embedding

PyEPO: A PyTorch-based End-to-End Predict-then-Optimize Library for Linear and Integer Programming

1 code implementation28 Jun 2022 Bo Tang, Elias B. Khalil

PyEPO provides a simple interface for the definition of new optimization problems, the implementation of state-of-the-art predict-then-optimize training algorithms, the use of custom neural network architectures, and the comparison of end-to-end approaches with the two-stage approach.

Hybrid Models for Learning to Branch

1 code implementation NeurIPS 2020 Prateek Gupta, Maxime Gasse, Elias B. Khalil, M. Pawan Kumar, Andrea Lodi, Yoshua Bengio

First, in a more realistic setting where only a CPU is available, is the GNN model still competitive?

Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus

1 code implementation18 Oct 2022 Yudong Xu, Elias B. Khalil, Scott Sanner

The Abstraction and Reasoning Corpus (ARC) aims at benchmarking the performance of general artificial intelligence algorithms.

Benchmarking Few-Shot Learning +1

Deep Policies for Online Bipartite Matching: A Reinforcement Learning Approach

1 code implementation21 Sep 2021 Mohammad Ali Alomrani, Reza Moravej, Elias B. Khalil

We present an end-to-end Reinforcement Learning framework for deriving better matching policies based on trial-and-error on historical data.

Decision Making reinforcement-learning +1

MIP-GNN: A Data-Driven Framework for Guiding Combinatorial Solvers

1 code implementation27 May 2022 Elias B. Khalil, Christopher Morris, Andrea Lodi

Mixed-integer programming (MIP) technology offers a generic way of formulating and solving combinatorial optimization problems.

Combinatorial Optimization

Neur2RO: Neural Two-Stage Robust Optimization

1 code implementation6 Oct 2023 Justin Dumouchelle, Esther Julien, Jannis Kurtz, Elias B. Khalil

This work addresses two-stage robust optimization (2RO) problems (also called adjustable robust optimization), wherein first-stage and second-stage decisions are made before and after uncertainty is realized, respectively.

Decision Making

LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations

1 code implementation26 May 2023 Yudong Xu, Wenhao Li, Pashootan Vaezipoor, Scott Sanner, Elias B. Khalil

Although the state-of-the-art GPT-4 is unable to "reason" perfectly within non-language domains such as the 1D-ARC or a simple ARC subset, our study reveals that the use of object-based representations can significantly improve its reasoning ability.

Language Modelling Large Language Model

CaVE: A Cone-Aligned Approach for Fast Predict-then-optimize with Binary Linear Programs

1 code implementation12 Dec 2023 Bo Tang, Elias B. Khalil

The end-to-end predict-then-optimize framework, also known as decision-focused learning, has gained popularity for its ability to integrate optimization into the training procedure of machine learning models that predict the unknown cost (objective function) coefficients of optimization problems from contextual instance information.

Neur2BiLO: Neural Bilevel Optimization

1 code implementation4 Feb 2024 Justin Dumouchelle, Esther Julien, Jannis Kurtz, Elias B. Khalil

Bilevel optimization deals with nested problems in which a leader takes the first decision to minimize their objective function while accounting for a follower's best-response reaction.

Bilevel Optimization

Fast Matrix Multiplication Without Tears: A Constraint Programming Approach

1 code implementation1 Jun 2023 Arnaud Deza, Chang Liu, Pashootan Vaezipoor, Elias B. Khalil

In this work, we propose a simple yet novel Constraint Programming approach to find non-commutative algorithms for fast matrix multiplication or provide proof of infeasibility otherwise.

Problem Decomposition valid

LEO: Learning Efficient Orderings for Multiobjective Binary Decision Diagrams

1 code implementation6 Jul 2023 Rahul Patel, Elias B. Khalil

We show how the configuration space can be efficiently explored using black-box optimization, circumventing the curse of dimensionality (in the number of variables and objectives), and finding good orderings that reduce the PF enumeration time.

Walkability Optimization: Formulations, Algorithms, and a Case Study of Toronto

1 code implementation10 Dec 2022 Weimin Huang, Elias B. Khalil

Allocating 3 additional grocery stores, schools, and restaurants can improve the "WalkScore" by more than 50 points (on a scale of 100) for 4 neighbourhoods and reduce the walking distances to amenities for 75% of all residential locations to 10 minutes for all amenity types.

Combinatorial Optimization

Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework

no code implementations16 Oct 2021 Elias B. Khalil, Pashootan Vaezipoor, Bistra Dilkina

In Mixed Integer Linear Programming (MIP), a (strong) backdoor is a "small" subset of an instance's integer variables with the following property: in a branch-and-bound procedure, the instance can be solved to global optimality by branching only on the variables in the backdoor.

A Deep Reinforcement Learning Framework For Column Generation

no code implementations3 Jun 2022 Cheng Chi, Amine Mohamed Aboussalah, Elias B. Khalil, Juyoung Wang, Zoha Sherkat-Masoumi

Column Generation (CG) is an iterative algorithm for solving linear programs (LPs) with an extremely large number of variables (columns).

Decision Making reinforcement-learning +1

Lookback for Learning to Branch

no code implementations30 Jun 2022 Prateek Gupta, Elias B. Khalil, Didier Chetélat, Maxime Gasse, Yoshua Bengio, Andrea Lodi, M. Pawan Kumar

Given that B&B results in a tree of sub-MILPs, we ask (a) whether there are strong dependencies exhibited by the target heuristic among the neighboring nodes of the B&B tree, and (b) if so, whether we can incorporate them in our training procedure.

Model Selection Variable Selection

Machine Learning for Cutting Planes in Integer Programming: A Survey

no code implementations17 Feb 2023 Arnaud Deza, Elias B. Khalil

We survey recent work on machine learning (ML) techniques for selecting cutting planes (or cuts) in mixed-integer linear programming (MILP).

MORBDD: Multiobjective Restricted Binary Decision Diagrams by Learning to Sparsify

no code implementations4 Mar 2024 Rahul Patel, Elias B. Khalil, David Bergman

We focus on binary decision diagrams (BDDs) which first construct a graph that represents all feasible solutions to the problem and then traverse the graph to extract the Pareto frontier.

Decision Making Multiobjective Optimization

Cannot find the paper you are looking for? You can Submit a new open access paper.