@article{v017a010, author = {Forbes, Michael A. and Shpilka, Amir and Tzameret, Iddo and Wigderson, Avi}, title = {Proof Complexity Lower Bounds from Algebraic Circuit Complexity}, year = {2021}, pages = {1--88}, doi = {10.4086/toc.2021.v017a010}, publisher = {Theory of Computing}, journal = {Theory of Computing}, volume = {17}, number = {10}, URL = {https://theoryofcomputing.org/articles/v017a010}, }