Why are Proof Complexity Lower Bounds Hard?

Jn Pich, Rahul Santhanam

Browse the full FOCS paper archive.