Levi H. S. Lelis

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 59

Top Topics

Heuristic Search

Heuristic Functions

Top Venues

Publications

Saqib Ameen, Levi H. S. Lelis
Program Synthesis with Best-First Bottom-Up Search (Abstract Reprint). AAAI (2024)
Sumedh Pendurkar, Levi H. S. Lelis, Nathan R. Sturtevant, Guni Sharon
Curriculum Generation for Learning Guiding Functions in State-Space Search Algorithms. SOCS (2024)
Rubens O. Moraes, Levi H. S. Lelis
Searching for Programmatic Policies in Semantic Spaces. CoRR (2024)
David S. Aleixo, Levi H. S. Lelis
Show Me the Way! Bilevel Search for Synthesizing Programmatic Strategies. AAAI (2023)
Fatemeh Abdollahi, Saqib Ameen, Matthew E. Taylor, Levi H. S. Lelis
Can You Improve My Code? Optimizing Programs with Local Search. IJCAI (2023)
Zahra Bashir, Michael Bowling, Levi H. S. Lelis
Assessing the Interpretability of Programmatic Policies with Large Language Models. CoRR (2023)
Rubens O. Moraes, David S. Aleixo, Lucas N. Ferreira, Levi H. S. Lelis
Choosing Well Your Opponents: How to Guide the Synthesis of Programmatic Strategies. CoRR (2023)
Laurent Orseau, Marcus Hutter, Levi H. S. Lelis
Levin Tree Search with Context Models. CoRR (2023)
Fatemeh Abdollahi, Saqib Ameen, Matthew E. Taylor, Levi H. S. Lelis
Can You Improve My Code? Optimizing Programs with Local Search. CoRR (2023)
Spyros Orfanos, Levi H. S. Lelis
Synthesizing Programmatic Policies with Actor-Critic Algorithms and ReLU Networks. CoRR (2023)
Laurent Orseau, Marcus Hutter, Levi H. S. Lelis
Levin Tree Search with Context Models. IJCAI (2023)
Saqib Ameen, Levi H. S. Lelis
Program Synthesis with Best-First Bottom-Up Search. CoRR (2023)
Saqib Ameen, Levi H. S. Lelis
Program Synthesis with Best-First Bottom-Up Search. J. Artif. Intell. Res. 77 (2023)
Rubens O. Moraes, David S. Aleixo, Lucas N. Ferreira, Levi H. S. Lelis
Choosing Well Your Opponents: How to Guide the Synthesis of Programmatic Strategies. IJCAI (2023)
Leandro C. Medeiros, David S. Aleixo, Levi H. S. Lelis
What can we Learn Even From the Weakest? Learning Sketches for Programmatic Strategies. CoRR (2022)
Lucas N. Ferreira, Lili Mou, Jim Whitehead, Levi H. S. Lelis
Controlling Perceived Emotion in Symbolic Music Generation with Monte Carlo Tree Search. CoRR (2022)
Rubens O. Moraes, Mario A. Nascimento, Levi H. S. Lelis
Asymmetric Action Abstractions for Planning in Real-Time Strategy Games. J. Artif. Intell. Res. 75 (2022)
Lucas N. Ferreira, Lili Mou, Jim Whitehead, Levi H. S. Lelis
Controlling Perceived Emotion in Symbolic Music Generation with Monte Carlo Tree Search. AIIDE (2022)
Levi H. S. Lelis, João G. G. V. Nova, Eugene Chen, Nathan R. Sturtevant, Carrie Demmans Epp, Michael Bowling
Learning Curricula for Humans: An Empirical Study with Puzzles from The Witness. IJCAI (2022)
Vadim Bulitko, Shuwei Wang, Justin Stevens, Levi H. S. Lelis
Portability and Explainability of Synthesized Formula-based Heuristics. SOCS (2022)
Leandro C. Medeiros, David S. Aleixo, Levi H. S. Lelis
What Can We Learn Even from the Weakest? Learning Sketches for Programmatic Strategies. AAAI (2022)
Jonathan Martinez, Kobi Gal, Ece Kamar, Levi H. S. Lelis
Improving the Performance-Compatibility Tradeoff with Personalized Objective Functions. AAAI (2021)
Lucas V. S. Pereira, Luiz Chaimowicz, Levi H. S. Lelis
Birds in Boots: Learning to Play Angry Birds with Policy-Guided Search. AIIDE (2021)
Vadim Bulitko, Sergio Poo Hernandez, Levi H. S. Lelis
Fast Synthesis of Algebraic Heuristic Functions for Video-game Pathfinding. CoG (2021)
Julian R. H. Mariño, Rubens O. Moraes, Tassiana C. Oliveira, Cláudio Toledo, Levi H. S. Lelis
Programmatic Strategies for Real-Time Strategy Games. AAAI (2021)
Cleyton R. Silva, Michael Bowling, Levi H. S. Lelis
Teaching People by Justifying Tree Search Decisions: An Empirical Study in Curling. J. Artif. Intell. Res. 72 (2021)
Laurent Orseau, Levi H. S. Lelis
Policy-Guided Heuristic Search with Guarantees. AAAI (2021)
Laurent Orseau, Levi H. S. Lelis
Policy-Guided Heuristic Search with Guarantees. CoRR (2021)
Lucas N. Ferreira, Levi H. S. Lelis, Jim Whitehead
Computer-Generated Music for Tabletop Role-Playing Games. AIIDE (2020)
Vitor Barbosa C. Souza, Moisés Henrique Pereira, Levi H. S. Lelis, Xavi Masip-Bruin
Enhancing resource availability in vehicular fog computing through smart inter-domain handover. GLOBECOM (2020)
Lucas N. Ferreira, Levi H. S. Lelis, Jim Whitehead
Computer-Generated Music for Tabletop Role-Playing Games. CoRR (2020)
Jonathan Martinez, Kobi Gal, Ece Kamar, Levi H. S. Lelis
Personalization in Human-AI Teams: Improving the Compatibility-Accuracy Tradeoff. CoRR (2020)
Levi H. S. Lelis
Planning Algorithms for Zero-Sum Games with Exponential Action Spaces: A Unifying Perspective. IJCAI (2020)
Zaheen Farraz Ahmad, Levi H. S. Lelis, Michael Bowling
Marginal Utility for Planning in Continuous or Large Discrete Action Spaces. CoRR (2020)
Malte Helmert, Tor Lattimore, Levi H. S. Lelis, Laurent Orseau, Nathan R. Sturtevant
Iterative Budgeted Exponential Search. IJCAI (2019)
Rafael R. Padovani, Lucas N. Ferreira, Levi H. S. Lelis
Be Inaccurate but Don't Be Indecisive: How Error Distribution Can Affect User Experience. AAAI (2019)
Julian R. H. Mariño, Rubens O. Moraes, Cláudio Toledo, Levi H. S. Lelis
Evolving Action Abstractions for Real-Time Planning in Extensive-Form Games. AAAI (2019)
Cleyton R. Silva, Rubens O. Moraes, Levi H. S. Lelis, Kobi Gal
Strategy Generation for Multiunit Real-Time Games via Voting. IEEE Trans. Games 11 (4) (2019)
Dâmaris S. Bento, André Grahl Pereira, Levi H. S. Lelis
Procedural Generation of Initial States of Sokoban. IJCAI (2019)
Dâmaris S. Bento, André Grahl Pereira, Levi H. S. Lelis
Procedural Generation of Initial States of Sokoban. CoRR (2019)
Laurent Orseau, Levi H. S. Lelis, Tor Lattimore
Zooming Cautiously: Linear-Memory Heuristic Search With Node Expansion Guarantees. CoRR (2019)
Malte Helmert, Tor Lattimore, Levi H. S. Lelis, Laurent Orseau, Nathan R. Sturtevant
Iterative Budgeted Exponential Search. CoRR (2019)
Rubens O. Moraes, Levi H. S. Lelis
Asymmetric Action Abstractions for Multi-Unit Control in Adversarial Real-Time Games. AAAI (2018)
Levi H. S. Lelis, Willian M. P. Reis, Ya'akov Gal
Procedural Generation of Game Maps With Human-in-the-Loop Algorithms. IEEE Trans. Games 10 (3) (2018)
Santiago Ontañón, Nicolas A. Barriga, Cleyton R. Silva, Rubens O. Moraes, Levi H. S. Lelis
The First microRTS Artificial Intelligence Competition. AI Mag. 39 (1) (2018)
Laurent Orseau, Levi H. S. Lelis, Tor Lattimore, Théophane Weber
Single-Agent Policy Tree Search With Guarantees. CoRR (2018)
Rubens O. Moraes, Julian R. H. Mariño, Levi H. S. Lelis
Nested-Greedy Search for Adversarial Real-Time Games. AIIDE (2018)
Rubens O. Moraes, Julian R. H. Mariño, Levi H. S. Lelis, Mario A. Nascimento
Action Abstractions for Combinatorial Multi-Armed Bandit Tree Search. AIIDE (2018)
Santiago Franco, Álvaro Torralba, Levi H. S. Lelis, Mike Barley
On Creating Complementary Pattern Databases. IJCAI (2017)
Levi H. S. Lelis
Stratified Strategy Selection for Unit Control in Real-Time Strategy Games. IJCAI (2017)
Adam Summerville, Julian R. H. Mariño, Sam Snodgrass, Santiago Ontañón, Levi H. S. Lelis
Understanding mario: an evaluation of design metrics for platformers. FDG (2017)
Rubens O. Moraes, Levi H. S. Lelis
Asymmetric Action Abstractions for Multi-Unit Control in Adversarial Real-Time Games. CoRR (2017)
Rafael R. Padovani, Lucas N. Ferreira, Levi H. S. Lelis
Bardo: Emotion-Based Music Recommendation for Tabletop Role-Playing Games. AIIDE (2017)
Levi H. S. 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. Artif. Intell. 230 (2016)
Leonardo T. Pereira, Claudio Fabiano Motta Toledo, Lucas N. Ferreira, Levi H. S. Lelis
Learning to Speed Up Evolutionary Content Generation in Physics-Based Puzzle Games. ICTAI (2016)
Levi H. S. Lelis, Santiago Franco, Marvin Abisrror, Mike Barley, Sandra Zilles, Robert C. Holte
Heuristic Subset Selection in Classical Planning. IJCAI (2016)
Levi H. S. Lelis, Richard Anthony Valenzano, Gabriel L. Nazar, Roni Stern
Searching with a Corrupted Heuristic. SOCS (2016)
Roni Stern, Levi H. S. Lelis
What's Hot in Heuristic Search. AAAI (2016)
Julian R. H. Mariño, Levi H. S. Lelis
A Computational Model Based on Symmetry for Generating Visually Pleasing Maps of Platform Games. AIIDE (2016)
Jeeva Paudel, Levi H. S. Lelis, José Nelson Amaral
Stratified Sampling for Even Workload Partitioning Applied to IDA* and Delaunay Algorithms. IPDPS (2015)
Julian R. H. Mariño, Willian M. P. Reis, Levi H. S. Lelis
An Empirical Evaluation of Evaluation Metrics of Procedurally Generated Mario Levels. AIIDE (2015)
Rina Dechter, Levi H. S. Lelis, Lars Otten
Caching in Context-Minimal OR Spaces. SOCS (2015)
Jeeva Paudel, Levi H. S. Lelis, José Nelson Amaral
Stratified sampling for even workload partitioning applied to single source shortest path algorithm. CASCON (2015)
Willian M. P. Reis, Levi H. S. Lelis, Ya'akov (Kobi) Gal
Human computation for procedural content generation in platform games. CIG (2015)
Julian R. H. Mariño, Levi H. S. Lelis
Feature Selection as State-Space Search: An Empirical Study in Clustering Problems. SOCS (2015)
Levi H. S. Lelis, Roni Stern, Nathan R. Sturtevant
Estimating Search Tree Size with Duplicate Detection. SOCS (2014)
Levi H. S. Lelis, Roni Stern, Ariel Felner, Sandra Zilles, Robert C. Holte
Predicting optimal solution cost with conditional probabilities - Predicting optimal solution cost. Ann. Math. Artif. Intell. 72 (3-4) (2014)
Levi H. S. Lelis, Lars Otten, Rina Dechter
Memory-Efficient Tree Size Prediction for Depth-First Search in Graphical Models. CP (2014)
Levi H. S. Lelis, Lars Otten, Rina Dechter
Predicting the Size of Depth-First Branch and Bound Search Trees. IJCAI (2013)
Levi H. S. Lelis, Sandra Zilles, Robert C. Holte
Stratified tree search: a novel suboptimal heuristic search algorithm. AAMAS (2013)
Levi H. S. Lelis, Sandra Zilles, Robert C. Holte
Predicting the size of IDA*'s search tree. Artif. Intell. 196 (2013)
Levi H. S. Lelis
Active Stratified Sampling with Clustering-Based Type Systems for Predicting the Search Tree Size of Problems with Real-Valued Heuristics. SOCS (2013)
Levi H. S. Lelis, Shahab Jabbari Arfaee, Sandra Zilles, Robert C. Holte
Learning Heuristic Functions Faster by Using Predicted Solution Costs. SOCS (2012)
Jordan Tyler Thayer, Roni Stern, Levi H. S. Lelis
Are We There Yet? - Estimating Search Progress. SOCS (2012)
Levi H. S. Lelis, Roni Stern, Ariel Felner, Sandra Zilles, Robert C. Holte
Predicting Optimal Solution Cost with Bidirectional Stratified Sampling (Abstract). SOCS (2012)