IPSG: Invariant Proof Score Generator | IEEE Conference Publication | IEEE Xplore