Levi H. S. Lelis
À Propos
De nombreux problèmes importants, tels que la découverte de médicaments et la planification de la trajectoire des robots, peuvent être considérés comme des tâches de recherche combinatoire. Les recherches de Levi Lelis sont axées sur la création d’algorithmes permettant de résoudre de telles tâches. Les algorithmes développés par son groupe de recherche ont été utilisés pour résoudre des problèmes liés au design, à la musique, au sport et aux jeux. Le groupe se concentre sur la résolution de problèmes de recherche combinatoire survenant lors du processus de synthèse de programmes informatiques lisibles par l’homme qui encodent des solutions à des problèmes de prise de décision. La synthèse de telles solutions programmatiques est sans doute l’une des directions de recherche les plus prometteuses pour faire face au manque d’interprétabilité des systèmes intelligents actuels. En outre, les programmes synthétisés par ordinateur pourraient être utilisés pour transférer des connaissances générées par des machines aux humains, car nous pourrions être en mesure de comprendre et d’apprendre les solutions encodées dans ces programmes.
Prix
- Membre distingué du comité de programme, IJCAI, 2018-2019.
- Contribution exceptionnelle à la révision, Artificial Intelligence Journal, 2017.
- Gagnant du championnat MicroRTS, IEEE, 2018.
- Finaliste de l’International Planning Competition, ICAPS, 2018.
Publications Pertinentes
- Levi Lelis, Lars Otten, Rina Dechter. « Memory-Efficient Tree Size Prediction for Depth-First Search in Graphical Models », Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP), p. 481-496, 2014.
- Levi Lelis, Roni Stern, Shahab Jabbari Arfaee, Sandra Zilles, Ariel Felner, Robert C. Holte. « Predicting Optimal Solution Costs with Bidirectional Stratified Sampling in Regular Search Spaces », Artificial Intelligence, 230:51-73, 2016.
- Santiago Franco, Alvaro Torralba, Levi Lelis, Mike Barley. « On Creating Complementary Pattern Databases », Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2017.
- Rubens O. Moraes, Levi Lelis. « Asymmetric Action Abstractions for Multi-Unit Control in Adversarial Real-Time Games », Proceedings of the Conference on Artificial Intelligence (AAAI), 2018.
- Laurent Orseau, Levi Lelis, Tor Lattimore, Theophane Weber. « Single-Agent Policy Tree Search With Guarantees », Advances in Neural Information Processing Systems 31 (NeurIPS), 2018.
Soutenez-nous
Le CIFAR est un organisme de bienfaisance enregistré qui reçoit le soutien des gouvernements du Canada, de l’Alberta et du Québec, ainsi que de fondations, de donateurs individuels, d’entreprises et de partenaires canadiens et internationaux.
Centre MaRS, tour Ouest
661, avenue University, bureau 505
Toronto (Ontario) M5G 1M1 Canada