Search

Skip to Search Results
  • Spring 2023

    Ameen, Saqib

    Cost-guided bottom-up search (BUS) algorithms use a cost function to guide the search for solving program synthesis tasks. In this thesis, 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...

1 - 1 of 1