Levi H. S. Lelis

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