TY  - RPRT
TI  - Herb.jl: A Unifying Program Synthesis Library
AU  - Tilman Hinnerichs
AU  - Reuben Gardos Reid
AU  - Jaap de Jong
AU  - Bart Swinkels
AU  - Pamela Wochner
AU  - Nicolae Filat
AU  - Tudor Magurescu
AU  - Issa Hanou
AU  - Sebastijan Dumancic
PY  - 2026
UR  - https://arxiv.org/abs/2510.09726
ID  - 2510.09726
ER  -