Hocquette, C., & Cropper, A. (2023). Relational Program Synthesis with Numerical Reasoning. Proceedings of the AAAI Conference on Artificial Intelligence, 37(5), 6425–6433. https://doi.org/10.1609/aaai.v37i5.25790