On the Existence of Algebraically Natural Proofs | IEEE Conference Publication | IEEE Xplore