KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI - Maene, Jaron; Derkinderen, Vincent; Zuidberg Dos Martires, Pedro (International Conference on Learning Representations, 2025)