Herb.jl: A Fast and Efficient Program Synthesis Library

Download PDF

Reuben Gardos Reid, Tilman Hinnerichs, Pamela Wochner, Issa Hanou, Sebastijan Dumancic

Published: 15 Oct 2025, Last Modified: 31 Oct 2025BNAIC/BeNeLearn 2025 DemoEveryoneRevisionsBibTeXCC BY 4.0
Track: Type C (Demonstration Abstracts)
Keywords: Program Synthesis, Automated Programming, Neuro-Symbolic AI
Abstract: Herb.jl is a modular library for program synthesis written in Julia. It decomposes synthesizers into reusable components and provides standardized benchmarks, enabling rapid prototyping, fair comparison, and easier combination of ideas.
Serve As Reviewer: ~Reuben_Gardos_Reid1
Submission Number: 18