Tilman Hinnerichs
  • about
  • articles
  • publications
  • repositories
  • cv

Herb_arxiv_2026

February 1, 2026

2026

We published our extended paper “Herb.jl: A Unifying Program Synthesis Library” on ArXiv, showing how to use and customize Herb for your own program synthesis applications.