Program Synthesis with Best-First Bottom-Up Search

Journal of Artificial Intelligence Research (JAIR), 2023

6 October 2023

Papers citing "Program Synthesis with Best-First Bottom-Up Search"

2 / 2 papers shown

Title
Herb.jl: A Unifying Program Synthesis Library Tilman Hinnerichs Reuben Gardos Reid Jaap de Jong Bart Swinkels Pamela Wochner Nicolae Filat Tudor Magurescu Issa Hanou Sebastijan Dumančić 60 0 0 10 Oct 2025
Relational decomposition for program synthesisInternational Joint Conference on Artificial Intelligence (IJCAI), 2024 Céline Hocquette Andrew Cropper 292 5 0 22 Aug 2024