Learning Simple Interpolants for Linear Integer Arithmetic | Read Paper on Bytez