| 2025 | IJCAI | InnateCoder: Learning Programmatic Options with Foundation Models. | Rubens O. Moraes, Quazi Asif Sadmine, Hendrik Baier, Levi H. S. Lelis |
| 2024 | AAAI | Program Synthesis with Best-First Bottom-Up Search (Abstract Reprint). | Saqib Ameen, Levi H. S. Lelis |
| 2024 | IJCAI | Searching for Programmatic Policies in Semantic Spaces. | Rubens O. Moraes, Levi H. S. Lelis |
| 2024 | SoCS | Curriculum Generation for Learning Guiding Functions in State-Space Search Algorithms. | Sumedh Pendurkar, Levi H. S. Lelis, Nathan R. Sturtevant, Guni Sharon |
| 2023 | AAAI | Show Me the Way! Bilevel Search for Synthesizing Programmatic Strategies. | David S. Aleixo, Levi H. S. Lelis |
| 2023 | IJCAI | Can You Improve My Code? Optimizing Programs with Local Search. | Fatemeh Abdollahi, Saqib Ameen, Matthew E. Taylor, Levi H. S. Lelis |
| 2023 | IJCAI | Choosing Well Your Opponents: How to Guide the Synthesis of Programmatic Strategies. | Rubens O. Moraes, David S. Aleixo, Lucas N. Ferreira, Levi H. S. Lelis |
| 2023 | IJCAI | Levin Tree Search with Context Models. | Laurent Orseau, Marcus Hutter, Levi H. S. Lelis |
| 2022 | AAAI | What Can We Learn Even from the Weakest? Learning Sketches for Programmatic Strategies. | Leandro C. Medeiros, David S. Aleixo, Levi H. S. Lelis |
| 2022 | IJCAI | Learning Curricula for Humans: An Empirical Study with Puzzles from The Witness. | Levi H. S. Lelis, Joo Gabriel Gama Vila Nova, Eugene Chen, Nathan R. Sturtevant, Carrie Demmans Epp, Michael Bowling |
| 2022 | SoCS | Portability and Explainability of Synthesized Formula-based Heuristics. | Vadim Bulitko, Shuwei Wang, Justin Stevens, Levi H. S. Lelis |
| 2021 | AAAI | Programmatic Strategies for Real-Time Strategy Games. | Julian R. H. Mario, Rubens O. Moraes, Tassiana C. Oliveira, Cludio Toledo, Levi H. S. Lelis |
| 2021 | AAAI | Improving the Performance-Compatibility Tradeoff with Personalized Objective Functions. | Jonathan Martinez, Kobi Gal, Ece Kamar, Levi H. S. Lelis |
| 2021 | AAAI | Policy-Guided Heuristic Search with Guarantees. | Laurent Orseau, Levi H. S. Lelis |
| 2020 | GLOBECOM | Enhancing resource availability in vehicular fog computing through smart inter-domain handover. | Vitor Barbosa C. Souza, Moiss Henrique Pereira, Levi H. S. Lelis, Xavi Masip-Bruin |
| 2020 | IJCAI | Planning Algorithms for Zero-Sum Games with Exponential Action Spaces: A Unifying Perspective. | Levi H. S. Lelis |
| 2019 | AAAI | Evolving Action Abstractions for Real-Time Planning in Extensive-Form Games. | Julian R. H. Mario, Rubens O. Moraes, Cludio Toledo, Levi H. S. Lelis |
| 2019 | AAAI | Be Inaccurate but Don't Be Indecisive: How Error Distribution Can Affect User Experience. | Rafael R. Padovani, Lucas N. Ferreira, Levi H. S. Lelis |
| 2019 | IJCAI | Procedural Generation of Initial States of Sokoban. | Dmaris S. Bento, Andr Grahl Pereira, Levi H. S. Lelis |
| 2019 | IJCAI | Iterative Budgeted Exponential Search. | Malte Helmert, Tor Lattimore, Levi H. S. Lelis, Laurent Orseau, Nathan R. Sturtevant |
| 2018 | AAAI | Asymmetric Action Abstractions for Multi-Unit Control in Adversarial Real-Time Games. | Rubens O. Moraes, Levi H. S. Lelis |
| 2017 | FDG | Understanding mario: an evaluation of design metrics for platformers. | Adam Summerville, Julian R. H. Mario, Sam Snodgrass, Santiago Ontan, Levi H. S. Lelis |
| 2017 | IJCAI | On Creating Complementary Pattern Databases. | Santiago Franco, lvaro Torralba, Levi H. S. Lelis, Mike Barley |
| 2017 | IJCAI | Stratified Strategy Selection for Unit Control in Real-Time Strategy Games. | Levi H. S. Lelis |
| 2016 | AAAI | What's Hot in Heuristic Search. | Roni Stern, Levi H. S. Lelis |
| 2016 | IJCAI | Heuristic Subset Selection in Classical Planning. | Levi H. S. Lelis, Santiago Franco, Marvin Abisrror, Mike Barley, Sandra Zilles, Robert C. Holte |
| 2016 | ICTAI | Learning to Speed Up Evolutionary Content Generation in Physics-Based Puzzle Games. | Leonardo T. Pereira, Claudio Fabiano Motta Toledo, Lucas N. Ferreira, Levi H. S. Lelis |
| 2016 | SoCS | Searching with a Corrupted Heuristic. | Levi H. S. Lelis, Richard Anthony Valenzano, Gabriel L. Nazar, Roni Stern |
| 2015 | SoCS | Caching in Context-Minimal OR Spaces. | Rina Dechter, Levi H. S. Lelis, Lars Otten |
| 2015 | SoCS | Feature Selection as State-Space Search: An Empirical Study in Clustering Problems. | Julian R. H. Mario, Levi H. S. Lelis |
| 2014 | CP | Memory-Efficient Tree Size Prediction for Depth-First Search in Graphical Models. | Levi H. S. Lelis, Lars Otten, Rina Dechter |
| 2014 | SoCS | Estimating Search Tree Size with Duplicate Detection. | Levi H. S. Lelis, Roni Stern, Nathan R. Sturtevant |
| 2013 | IJCAI | Predicting the Size of Depth-First Branch and Bound Search Trees. | Levi H. S. Lelis, Lars Otten, Rina Dechter |
| 2013 | SoCS | Active Stratified Sampling with Clustering-Based Type Systems for Predicting the Search Tree Size of Problems with Real-Valued Heuristics. | Levi H. S. Lelis |
| 2012 | SoCS | Learning Heuristic Functions Faster by Using Predicted Solution Costs. | Levi H. S. Lelis, Shahab Jabbari Arfaee, Sandra Zilles, Robert C. Holte |
| 2012 | SoCS | Predicting Optimal Solution Cost with Bidirectional Stratified Sampling (Abstract). | Levi H. S. Lelis, Roni Stern, Ariel Felner, Sandra Zilles, Robert C. Holte |
| 2012 | SoCS | Are We There Yet? - Estimating Search Progress. | Jordan Tyler Thayer, Roni Stern, Levi H. S. Lelis |