@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
ILP
Inductive logic programming at 30: a new introduction
@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}}