ILP for Mathematical Discovery