conftrace_

bottom-up search

3 papers

Explore in graph

Also known as

BUS

Co-occurring keywords · papers mentioning both

program synthesis (3) property signature (1) string manipulation (1) search policy (1) input-output example (1) logic programming (1) domain-specific language (1) cost function (1) best-first search (1) supervised learning (1)

Papers

Program Synthesis with Best-First Bottom-Up Search (Abstract Reprint) AAAI 2024 CrossBeam: Learning to Search in Bottom-Up Program Synthesis ICLR 2022 BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration ICLR 2021