2024
Program Synthesis with Best-First Bottom-Up Search (Abstract Reprint)
AAAI 2024technical
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-guided BUS algorithms suffer from a common problem: they can lose useful information given by the model and fail to perfor…