research
∙
06/01/2023
Fast Matrix Multiplication Without Tears: A Constraint Programming Approach
It is known that the multiplication of an N × M matrix with an M × P mat...
share
research
∙
05/26/2023
LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations
Can a Large Language Model (LLM) solve simple abstract reasoning problem...
research
∙
11/20/2022
Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines
Natural and formal languages provide an effective mechanism for humans t...
research
∙
11/08/2022
Learning to Follow Instructions in Text-Based Games
Text-based games present a unique class of sequential decision making pr...
research
∙
06/03/2022
Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks
Deep reinforcement learning has shown promise in discrete domains requir...
research
∙
02/17/2022
Augment with Care: Contrastive Learning for the Boolean Satisfiability Problem
Supervised learning can improve the design of state-of-the-art solvers f...
research
∙
10/16/2021
Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework
In Mixed Integer Linear Programming (MIP), a (strong) backdoor is a "sma...
research
∙
02/13/2021
LTL2Action: Generalizing LTL Instructions for Multi-Task RL
We address the problem of teaching a deep reinforcement learning (RL) ag...
research
∙
07/07/2020
Learning Branching Heuristics for Propositional Model Counting
Propositional model counting or #SAT is the problem of computing the num...
research
∙
09/06/2011