18 citations · 30 across the 12 of their papers we have counts for
4 papers · 1 filter
Program Synthesis with Best-First Bottom-Up Search
Saqib Ameen, Levi H. S. Lelis
Cost-guided bottom-up search (BUS) algorithms use a cost function to guide the search to solve program synthesis tasks. In this paper, we show that current state-of-the-art cost-gu…
Synthesizing Programmatic Policies with Actor-Critic Algorithms and ReLU Networks
Spyros Orfanos, Levi H. S. Lelis
Programmatically Interpretable Reinforcement Learning (PIRL) encodes policies in human-readable computer programs. Novel algorithms were recently introduced with the goal of handli…
Choosing Well Your Opponents: How to Guide the Synthesis of Programmatic Strategies
Rubens O. Moraes, David S. Aleixo, Lucas N. Ferreira +1
This paper introduces Local Learner (2L), an algorithm for providing a set of reference strategies to guide the search for programmatic strategies in two-player zero-sum games. Pre…
Can You Improve My Code? Optimizing Programs with Local Search
Fatemeh Abdollahi, Saqib Ameen, Matthew E. Taylor +1
This paper introduces a local search method for improving an existing program with respect to a measurable objective. Program Optimization with Locally Improving Search (POLIS) exp…