Extremely Deep Proofs

Noah Fleming, Toniann Pitassi, Robert Robere. Extremely Deep Proofs. Electronic Colloquium on Computational Complexity (ECCC), 28:158, 2021. [doi]

Abstract

Abstract is missing.