Verification in Pulimath