← Search

Levi H.S. Lelis

2 accepted papers

2023

Show Me the Way! Bilevel Search for Synthesizing Programmatic Strategies

AAAI 2023technical

The synthesis of programmatic strategies requires one to search in large non-differentiable spaces of computer programs. Current search algorithms use self-play approaches to guide this search. The issue with these approaches is that the guiding function often provides a weak search signal. This is…

2022

Learning Curricula for Humans: An Empirical Study with Puzzles from The Witness

IJCAI 2022poster

The combination of tree search and neural networks has achieved super-human performance in challenging domains. We are interested in transferring to humans the knowledge these learning systems generate. We hypothesize the process in which neural-guided tree search algorithms learn how to solve a set…

Cited by 3SourcePDFScholar