@misc{indiciae35026cf93bb8,
  title = {From Proof Complexity to Circuit Complexity via Interactive Protocols},
  author = {Noel Arteche and Erfan Khaniki and Ján Pich and Rahul Santhanam},
  year = {2024},
  url = {https://arxiv.org/abs/2405.02232},
  note = {Source identifier: 2405.02232}
}