19 citations · 66 across the 10 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021★ 17 cited
Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework
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,…
cs.AI2021★ 19 cited
LTL2Action: Generalizing LTL Instructions for Multi-Task RL
Pashootan Vaezipoor, Andrew Li, Rodrigo Toro Icarte +1
We address the problem of teaching a deep reinforcement learning (RL) agent to follow instructions in multi-task environments. Instructions are expressed in a well-known formal lan…