From Proof Complexity to Circuit Complexity via Interactive Protocols.

Noel Arteche Erfan Khaniki Ján Pich Rahul Santhanam

Published in: CoRR (2024)

Keyphrases

space complexity
machine learning
computational complexity
worst case
high speed
real world
computer vision
information systems
digital libraries
computational cost
user interaction
wireless networks
lower complexity