TY  - RPRT
TI  - From Proof Complexity to Circuit Complexity via Interactive Protocols
AU  - Noel Arteche
AU  - Erfan Khaniki
AU  - Ján Pich
AU  - Rahul Santhanam
PY  - 2024
UR  - https://arxiv.org/abs/2405.02232
ID  - 2405.02232
ER  -