2 papers
cs.PL2026
Herb.jl: A Unifying Program Synthesis Library
Tilman Hinnerichs, Reuben Gardos Reid, Jaap de Jong +6
Program synthesis -- the automatic generation of code given a specification -- is one of the most fundamental tasks in artificial intelligence (AI) and the dream of many programmer…
cs.PL2025
Modelling Program Spaces in Program Synthesis with Constraints
Tilman Hinnerichs, Bart Swinkels, Jaap de Jong +4
A core challenge in program synthesis is taming the large space of possible programs. Since program synthesis is essentially a combinatorial search, the community has sought to lev…