Maene, J., Derkinderen, V., & Zuidberg Dos Martires, P. (2025). KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI [Conference paper]. ICLR