Welcome to
A program synthesis library written in Julia
When writing research software we almost always investigate highly specific properties or algorithms of our domain, leading to us building the tools from scratch over and over again. The very same holds for the field of program synthesis: Tools are hard to run, benchmarks are hard to get and prepare, and its hard to adapt our existing code to a novel idea.
Herb.jl will take care of this for you and helps you defining, solving and extending your program synthesis problems.
Herb.jl provides…
- a unified and universal framework for program synthesis
- Herb.jl allows you to describe all sorts of program synthesis problems using context-free grammars
- a number of state-of-the-art benchmarks and solvers already implemented and usable out-of-the-box
Check out our documentation and the repository.
news
Oct 18, 2023 | The second iteration of our joint HerbHackathon will take place on 18./19.10.2023. |
---|---|
Jun 30, 2023 | We succesfully conducted our first HerbHackathon. |
latest posts
Jul 4, 2023 | a post with jupyter notebook |
---|---|
Jul 15, 2015 | a post with code |
selected publications
2022
- ILPInductive logic programming at 30: a new introductionJournal of Artificial Intelligence Research, 2022