A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetics - De Smet, Lennert; Zuidberg Dos Martires, Pedro (Advances in Neural Information Processing Systems, 2024)