publications

2026

1. PS

   Herb.jl: A Unifying Program Synthesis Library

   Tilman Hinnerichs, Reuben Gardos Reid, Jaap Jong, and 6 more authors

   arXiv preprint arXiv:2510.09726, 2026

   Bib

   @article{hinnerichs2026herb,
     title = {Herb.jl: A Unifying Program Synthesis Library},
     author = {Hinnerichs, Tilman and Reid, Reuben Gardos and de Jong, Jaap and Swinkels, Bart and Wochner, Pamela and Filat, Nicolae and Magurescu, Tudor and Hanou, Issa and Dumancic, Sebastijan},
     journal = {arXiv preprint arXiv:2510.09726},
     year = {2026}
   }

2025

1. PS

   Modelling Program Spaces in Program Synthesis with Constraints

   Tilman Hinnerichs, Bart Swinkels, Jaap Jong, and 4 more authors

   arXiv preprint arXiv:2508.00005, 2025

   Bib

   @article{hinnerichs2025modelling,
     title = {Modelling Program Spaces in Program Synthesis with Constraints},
     author = {Hinnerichs, Tilman and Swinkels, Bart and de Jong, Jaap and Reid, Reuben Gardos and Magirescu, Tudor and Yorke-Smith, Neil and Dumancic, Sebastijan},
     journal = {arXiv preprint arXiv:2508.00005},
     year = {2025}
   }

2022

1. ILP

   Inductive logic programming at 30: a new introduction

   Andrew Cropper, and Sebastijan Dumančić

   Journal of Artificial Intelligence Research, 2022

   Bib

   @article{cropper2022inductive,
     title = {Inductive logic programming at 30: a new introduction},
     author = {Cropper, Andrew and Duman{\v{c}}i{\'c}, Sebastijan},
     journal = {Journal of Artificial Intelligence Research},
     volume = {74},
     pages = {765--850},
     year = {2022}
   }