Many important problems, such as drug discovery and robotic path planning, can be cast as combinatorial search tasks. Levi Lelis’ research focuses on the development of algorithms for solving such tasks. The algorithms his research group has developed have been applied to solve problems in design, music, sports, and games. The group is focused on developing algorithms for solving combinatorial search problems that arise in the process of synthesizing human-readable computer programs encoding solutions to decision-making problems. The synthesis of such programmatic solutions is arguably one of the most promising research directions for dealing with the lack of interpretability of current intelligent systems. Furthermore, computer-synthesized programs might be used to transfer machine-generated knowledge to humans as we might be able to understand and learn the solutions encoded in such programs.
- Distinguished Program Committee Member, IJCAI, 2018-2019.
- Outstanding Contribution in Reviewing, Artificial Intelligence journal, 2017.
- Winner of the MicroRTS Competition, IEEE, 2018.
- Runner-up for the International Planning Competition (IPC), ICAPS, 2018.
- Lelis, L. H., Otten, L., & Dechter, R. (2014, September). Memory-efficient tree size prediction for depth-first search in graphical models. In International Conference on Principles and Practice of Constraint Programming (pp. 481-496). Springer, Cham.
- Lelis, L. H., Stern, R., Arfaee, S. J., Zilles, S., Felner, A., & Holte, R. C. (2016). Predicting optimal solution costs with bidirectional stratified sampling in regular search spaces. Artificial Intelligence, 230, 51-73.
- Franco, S., Torralba, A., Lelis, L. H., & Barley, M. (2017, August). On creating complementary pattern databases. In Proceedings of the 26th International Joint Conference on Artificial Intelligence (pp. 4302-4309).
- Moraes, R., & Lelis, L. (2018, April). Asymmetric action abstractions for multi-unit control in adversarial real-time games. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 32, No. 1).
- Orseau, L., Lelis, L., Lattimore, T., & Weber, T. (2018). Single-agent policy tree search with guarantees. In Advances in Neural Information Processing Systems (pp. 3201-3211).
CIFAR is a registered charitable organization supported by the governments of Canada, Alberta and Quebec, as well as foundations, individuals, corporations and Canadian and international partner organizations.