A Note on Natural-Proofs for Super-Linear Lower Bounds for Linear Functions

Ran Raz. A Note on Natural-Proofs for Super-Linear Lower Bounds for Linear Functions. Electronic Colloquium on Computational Complexity (ECCC), TR26, 2026. [doi]

Abstract

Abstract is missing.