C. Hocquette and A. Cropper, “Relational Program Synthesis with Numerical Reasoning”, AAAI, vol. 37, no. 5, pp. 6425–6433, Jun. 2023.