Learning Simple Interpolants for Linear Integer Arithmetic - Wu, Minchao; Kobayashi, Naoki (Advances in Neural Information Processing Systems, 2025)