7 citations · 15 across the 6 of their papers we have counts for
11 papers
Fast Matrix Multiplication Without Tears: A Constraint Programming Approach
Arnaud Deza, Chang Liu, Pashootan Vaezipoor +1
It is known that the multiplication of an matrix with an matrix can be performed using fewer multiplications than what the naive approach suggests.…
LEO: Learning Efficient Orderings for Multiobjective Binary Decision Diagrams
Rahul Patel, Elias B. Khalil
Approaches based on Binary decision diagrams (BDDs) have recently achieved state-of-the-art results for multiobjective integer programming problems. The variable ordering used in c…
LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations
Yudong Xu, Wenhao Li, Pashootan Vaezipoor +2
Can a Large Language Model (LLM) solve simple abstract reasoning problems? We explore this broad question through a systematic analysis of GPT on the Abstraction and Reasoning Corp…
Machine Learning for Cutting Planes in Integer Programming: A Survey
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). Despite the availability of various cla…
Walkability Optimization: Formulations, Algorithms, and a Case Study of Toronto
Weimin Huang, Elias B. Khalil
The concept of walkable urban development has gained increased attention due to its public health, economic, and environmental sustainability benefits. Unfortunately, land zoning a…
Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus
Yudong Xu, Elias B. Khalil, Scott Sanner
The Abstraction and Reasoning Corpus (ARC) aims at benchmarking the performance of general artificial intelligence algorithms. The ARC's focus on broad generalization and few-shot…