Lelis, Levi H. S.

26 publications

IJCAI 2025 InnateCoder: Learning Programmatic Options with Foundation Models Rubens O. Moraes, Quazi Asif Sadmine, Hendrik Baier, Levi H. S. Lelis

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

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

IJCAI 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

JAIR 2023 Program Synthesis with Best-First Bottom-up Search Saqib Ameen, Levi H. S. Lelis

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

JAIR 2022 Asymmetric Action Abstractions for Planning in Real-Time Strategy Games Rubens O. Moraes, Mario A. Nascimento, Levi H. S. Lelis

IJCAI 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

AAAI 2022 What Can We Learn Even from the Weakest? Learning Sketches for Programmatic Strategies Leandro C. Medeiros, David S. Aleixo, 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 Programmatic Strategies for Real-Time Strategy Games Julian R. H. Mariño, Rubens O. Moraes, Tassiana C. Oliveira, Cláudio Toledo, Levi H. S. Lelis

JAIR 2021 Teaching People by Justifying Tree Search Decisions: An Empirical Study in Curling Cleyton R. Silva, Michael Bowling, Levi H. S. Lelis

IJCAI 2020 Planning Algorithms for Zero-Sum Games with Exponential Action Spaces: A Unifying Perspective 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 Evolving Action Abstractions for Real-Time Planning in Extensive-Form Games Julian R. H. Mariño, Rubens O. Moraes, Cláudio Toledo, 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 Procedural Generation of Initial States of Sokoban Dâmaris S. Bento, André Grahl Pereira, Levi H. S. Lelis

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

IJCAI 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 2016 Heuristic Subset Selection in Classical Planning Levi H. S. Lelis, Santiago Franco, Marvin Abisrror, Mike Barley, Sandra Zilles, Robert C. Holte

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

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