2.8k citations
- University of TorontoCA238 papers
- Canadian Institute for Advanced ResearchCA56 papers
- University of WaterlooCA56 papers
- Perimeter InstituteCA27 papers
- Harvard UniversityUS25 papers
- Massachusetts Institute of TechnologyUS21 papers
- University of British ColumbiaCA17 papers
- ETH ZurichCH15 papers
- Stanford UniversityUS15 papers
- University Health NetworkCA14 papers
- National Research Council CanadaCA13 papers
- University of OttawaCA13 papers
4 papers · 2 filters
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,…
A New Formalism, Method and Open Issues for Zero-Shot Coordination
Johannes Treutlein, Michael Dennis, Caspar Oesterheld +1
In many coordination problems, independently reasoning humans are able to discover mutually compatible policies. In contrast, independently trained self-play policies are often mut…
Coach-Player Multi-Agent Reinforcement Learning for Dynamic Team Composition
Bo Liu, Qiang Liu, Peter Stone +3
In real-world multi-agent systems, agents with different capabilities may join or leave without altering the team's overarching goals. Coordinating teams with such dynamic composit…
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…