On the Existence of Algebraically Natural Proofs

Prerona Chatterjee, Mrinal Kumar 0001, C. Ramya, Ramprasad Saptharishi, Anamay Tengse. On the Existence of Algebraically Natural Proofs. Electronic Colloquium on Computational Complexity (ECCC), 27:63, 2020. [doi]

Abstract

Abstract is missing.