Semi-supervised Density-Based Clustering. - Levi Lelis; Jörg Sander 001 (ICDM, 2009)

Time Complexity of Iterative-Deepening A*: The Informativeness Pathology (Abstract). - Levi Lelis; Sandra Zilles; Robert C. Holte (AAAI, 2011)

Predicting Solution Cost with Conditional Probabilities. - Levi Lelis; Roni Stern; Shahab Jabbari Arfaee (SOCS, 2011)

Improved Prediction of IDA*'s Performance via Epsilon-Truncation. - Levi Lelis; Sandra Zilles; Robert C. Holte (SOCS, 2011)

Fast and Accurate Predictions of IDA*'s Performance. - Levi Lelis; Sandra Zilles; Robert C. Holte (AAAI, 2012)

Predicting Optimal Solution Cost with Bidirectional Stratified Sampling. - Levi Lelis; Roni Stern; Ariel Felner; Sandra Zilles; Robert C. Holte (ICAPS, 2012)

Learning Heuristic Functions Faster by Using Predicted Solution Costs. - Levi H. S. Lelis; Shahab Jabbari Arfaee; Sandra Zilles; Robert C. Holte (SOCS, 2012)

Predicting Optimal Solution Cost with Bidirectional Stratified Sampling (Abstract). - Levi H. S. Lelis; Roni Stern; Ariel Felner; Sandra Zilles; Robert C. Holte (SOCS, 2012)

Are We There Yet? - Estimating Search Progress. - Jordan Tyler Thayer; Roni Stern; Levi H. S. Lelis (SOCS, 2012)

Stratified tree search: a novel suboptimal heuristic search algorithm. - Levi H. S. Lelis; Sandra Zilles; Robert C. Holte (AAMAS, 2013)

Predicting the Size of Depth-First Branch and Bound Search Trees. - Levi H. S. Lelis; Lars Otten; Rina Dechter (IJCAI, 2013)

Active Stratified Sampling with Clustering-Based Type Systems for Predicting the Search Tree Size of Problems with Real-Valued Heuristics. - Levi H. S. Lelis (SOCS, 2013)

Predicting the size of IDA*'s search tree. - Levi H. S. Lelis; Sandra Zilles; Robert C. Holte (Artif. Intell., 2013)

Memory-Efficient Tree Size Prediction for Depth-First Search in Graphical Models. - Levi H. S. Lelis; Lars Otten; Rina Dechter (CP, 2014)

Estimating Search Tree Size with Duplicate Detection. - Levi H. S. Lelis; Roni Stern; Nathan R. Sturtevant (SOCS, 2014)

Predicting optimal solution cost with conditional probabilities - Predicting optimal solution cost. - Levi H. S. Lelis; Roni Stern; Ariel Felner; Sandra Zilles; Robert C. Holte (Ann. Math. Artif. Intell., 2014)

An Empirical Evaluation of Evaluation Metrics of Procedurally Generated Mario Levels. - Julian R. H. Mariño; Willian M. P. Reis; Levi H. S. Lelis (AIIDE, 2015)

Stratified sampling for even workload partitioning applied to single source shortest path algorithm. - Jeeva Paudel; Levi H. S. Lelis; José Nelson Amaral (CASCON, 2015)

Human computation for procedural content generation in platform games. - Willian M. P. Reis; Levi H. S. Lelis; Ya'akov (Kobi) Gal (CIG, 2015)

Stratified Sampling for Even Workload Partitioning Applied to IDA* and Delaunay Algorithms. - Jeeva Paudel; Levi H. S. Lelis; José Nelson Amaral (IPDPS, 2015)

Caching in Context-Minimal OR Spaces. - Rina Dechter; Levi H. S. Lelis; Lars Otten (SOCS, 2015)

Feature Selection as State-Space Search: An Empirical Study in Clustering Problems. - Julian R. H. Mariño; Levi H. S. Lelis (SOCS, 2015)

What's Hot in Heuristic Search. - Roni Stern; Levi H. S. Lelis (AAAI, 2016)

A Computational Model Based on Symmetry for Generating Visually Pleasing Maps of Platform Games. - Julian R. H. Mariño; Levi H. S. Lelis (AIIDE, 2016)

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 (ICTAI, 2016)

Heuristic Subset Selection in Classical Planning. - Levi H. S. Lelis; Santiago Franco; Marvin Abisrror; Mike Barley; Sandra Zilles; Robert C. Holte (IJCAI, 2016)

Searching with a Corrupted Heuristic. - Levi H. S. Lelis; Richard Anthony Valenzano; Gabriel L. Nazar; Roni Stern (SOCS, 2016)

Predicting optimal solution costs with bidirectional stratified sampling in regular search spaces. - Levi H. S. Lelis; Roni Stern; Shahab Jabbari Arfaee; Sandra Zilles; Ariel Felner; Robert C. Holte (Artif. Intell., 2016)

Bardo: Emotion-Based Music Recommendation for Tabletop Role-Playing Games. - Rafael R. Padovani; Lucas N. Ferreira; Levi H. S. Lelis (AIIDE, 2017)

Understanding mario: an evaluation of design metrics for platformers. - Adam Summerville; Julian R. H. Mariño; Sam Snodgrass; Santiago Ontañón; Levi H. S. Lelis (FDG, 2017)

On Creating Complementary Pattern Databases. - Santiago Franco; Álvaro Torralba; Levi H. S. Lelis; Mike Barley (IJCAI, 2017)

Stratified Strategy Selection for Unit Control in Real-Time Strategy Games. - Levi H. S. Lelis (IJCAI, 2017)

Asymmetric Action Abstractions for Multi-Unit Control in Adversarial Real-Time Games. - Rubens O. Moraes; Levi H. S. Lelis (AAAI, 2018)

Nested-Greedy Search for Adversarial Real-Time Games. - Rubens O. Moraes; Julian R. H. Mariño; Levi H. S. Lelis (AIIDE, 2018)

Action Abstractions for Combinatorial Multi-Armed Bandit Tree Search. - Rubens O. Moraes; Julian R. H. Mariño; Levi H. S. Lelis; Mario A. Nascimento (AIIDE, 2018)

Single-Agent Policy Tree Search With Guarantees. - Laurent Orseau; Levi Lelis; Tor Lattimore; Theophane Weber (NeurIPS, 2018)

The First microRTS Artificial Intelligence Competition. - Santiago Ontañón; Nicolas A. Barriga; Cleyton R. Silva; Rubens O. Moraes; Levi H. S. Lelis (AI Mag., 2018)

Procedural Generation of Game Maps With Human-in-the-Loop Algorithms. - Levi H. S. Lelis; Willian M. P. Reis; Ya'akov Gal (IEEE Trans. Games, 2018)

Evolving Action Abstractions for Real-Time Planning in Extensive-Form Games. - Julian R. H. Mariño; Rubens O. Moraes; Cláudio Toledo 001; Levi H. S. Lelis (AAAI, 2019)

Be Inaccurate but Don't Be Indecisive: How Error Distribution Can Affect User Experience. - Rafael R. Padovani; Lucas N. Ferreira; Levi H. S. Lelis (AAAI, 2019)

Procedural Generation of Initial States of Sokoban. - Dâmaris S. Bento; André Grahl Pereira; Levi H. S. Lelis (IJCAI, 2019)

Iterative Budgeted Exponential Search. - Malte Helmert; Tor Lattimore; Levi H. S. Lelis; Laurent Orseau; Nathan R. Sturtevant (IJCAI, 2019)

Zooming Cautiously: Linear-Memory Heuristic Search With Node Expansion Guarantees. - Laurent Orseau; Levi H. S. Lelis; Tor Lattimore (CoRR, 2019)

Strategy Generation for Multiunit Real-Time Games via Voting. - Cleyton R. Silva; Rubens O. Moraes; Levi H. S. Lelis; Kobi Gal (IEEE Trans. Games, 2019)

Computer-Generated Music for Tabletop Role-Playing Games. - Lucas N. Ferreira; Levi H. S. Lelis; Jim Whitehead (AIIDE, 2020)

Enhancing resource availability in vehicular fog computing through smart inter-domain handover. - Vitor Barbosa C. Souza; Moisés Henrique Pereira; Levi H. S. Lelis; Xavi Masip-Bruin (GLOBECOM, 2020)

Planning Algorithms for Zero-Sum Games with Exponential Action Spaces: A Unifying Perspective. - Levi H. S. Lelis (IJCAI, 2020)

Marginal Utility for Planning in Continuous or Large Discrete Action Spaces. - Zaheen Farraz Ahmad; Levi Lelis; Michael Bowling (NeurIPS, 2020)

Personalization in Human-AI Teams: Improving the Compatibility-Accuracy Tradeoff. - Jonathan Martinez; Kobi Gal; Ece Kamar; Levi H. S. Lelis (CoRR, 2020)

Programmatic Strategies for Real-Time Strategy Games. - Julian R. H. Mariño; Rubens O. Moraes; Tassiana C. Oliveira; Cláudio Toledo 001; Levi H. S. Lelis (AAAI, 2021)

Improving the Performance-Compatibility Tradeoff with Personalized Objective Functions. - Jonathan Martinez; Kobi Gal; Ece Kamar; Levi H. S. Lelis (AAAI, 2021)

Policy-Guided Heuristic Search with Guarantees. - Laurent Orseau; Levi H. S. Lelis (AAAI, 2021)

Birds in Boots: Learning to Play Angry Birds with Policy-Guided Search. - Lucas V. S. Pereira; Luiz Chaimowicz; Levi H. S. Lelis (AIIDE, 2021)

Fast Synthesis of Algebraic Heuristic Functions for Video-game Pathfinding. - Vadim Bulitko; Sergio Poo Hernandez; Levi H. S. Lelis (CoG, 2021)

Teaching People by Justifying Tree Search Decisions: An Empirical Study in Curling. - Cleyton R. Silva; Michael Bowling; Levi H. S. Lelis (J. Artif. Intell. Res., 2021)

What Can We Learn Even from the Weakest? Learning Sketches for Programmatic Strategies. - Leandro C. Medeiros; David S. Aleixo; Levi H. S. Lelis (AAAI, 2022)

Controlling Perceived Emotion in Symbolic Music Generation with Monte Carlo Tree Search. - Lucas N. Ferreira; Lili Mou; Jim Whitehead; Levi H. S. Lelis (AIIDE, 2022)

Learning Curricula for Humans: An Empirical Study with Puzzles from The Witness. - Levi H. S. Lelis; João Gabriel Gama Vila Nova; Eugene Chen; Nathan R. Sturtevant; Carrie Demmans Epp; Michael Bowling (IJCAI, 2022)

Portability and Explainability of Synthesized Formula-based Heuristics. - Vadim Bulitko; Shuwei Wang; Justin Stevens 001; Levi H. S. Lelis (SOCS, 2022)

Asymmetric Action Abstractions for Planning in Real-Time Strategy Games. - Rubens O. Moraes; Mario A. Nascimento; Levi H. S. Lelis (J. Artif. Intell. Res., 2022)

Show Me the Way! Bilevel Search for Synthesizing Programmatic Strategies. - David S. Aleixo; Levi H. S. Lelis (AAAI, 2023)

Can You Improve My Code? Optimizing Programs with Local Search. - Fatemeh Abdollahi; Saqib Ameen; Matthew E. Taylor; Levi H. S. Lelis (IJCAI, 2023)

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 (IJCAI, 2023)

Levin Tree Search with Context Models. - Laurent Orseau; Marcus Hutter; Levi H. S. Lelis (IJCAI, 2023)

Synthesizing Programmatic Policies with Actor-Critic Algorithms and ReLU Networks. - Spyros Orfanos; Levi H. S. Lelis (CoRR, 2023)

Assessing the Interpretability of Programmatic Policies with Large Language Models. - Zahra Bashir; Michael Bowling; Levi H. S. Lelis (CoRR, 2023)

Program Synthesis with Best-First Bottom-Up Search. - Saqib Ameen; Levi H. S. Lelis (J. Artif. Intell. Res., 2023)

Program Synthesis with Best-First Bottom-Up Search (Abstract Reprint). - Saqib Ameen; Levi H. S. Lelis (AAAI, 2024)

Unveiling Options with Neural Network Decomposition. - Mahdi Alikhasi; Levi Lelis (ICLR, 2024)

Reclaiming the Source of Programmatic Policies: Programmatic versus Latent Spaces. - Tales Henrique Carvalho; Kenneth Tjhia; Levi Lelis (ICLR, 2024)

Searching for Programmatic Policies in Semantic Spaces. - Rubens O. Moraes; Levi H. S. Lelis (IJCAI, 2024)

Curriculum Generation for Learning Guiding Functions in State-Space Search Algorithms. - Sumedh Pendurkar; Levi H. S. Lelis; Nathan R. Sturtevant; Guni Sharon (SOCS, 2024)

Unveiling Options with Neural Decomposition. - Mahdi Alikhasi; Levi H. S. Lelis (CoRR, 2024)

Exponential Speedups by Rerooting Levin Tree Search. - Laurent Orseau; Marcus Hutter; Levi H. S. Lelis (CoRR, 2024)

Synthesizing Libraries of Programs with Auxiliary Functions. - Habibur Rahman; Thirupathi Reddy Emireddy; Kenneth Tjhia; Elham Parhizkar; Levi Lelis (Trans. Mach. Learn. Res., 2024)

Language Models Speed Up Local Search for Finding Programmatic Policies. - Quazi Asif Sadmine; Hendrik Baier; Levi Lelis (Trans. Mach. Learn. Res., 2024)

InnateCoder: Learning Programmatic Options with Foundation Models. - Rubens O. Moraes; Quazi Asif Sadmine; Hendrik Baier; Levi H. S. Lelis (CoRR, 2025)

Subgoal-Guided Policy Heuristic Search with Learned Subgoals. - Jake Tuero; Michael Buro; Levi H. S. Lelis (CoRR, 2025)

Common Benchmarks Undervalue the Generalization Power of Programmatic Policies. - Amirhossein Rajabpour; Kiarash Aghakasiri; Sandra Zilles; Levi H. S. Lelis (CoRR, 2025)