Separations in Proof Complexity and TFNP.

Mika Göös Alexandros Hollender Siddhartha Jain Gilbert Maystre William Pires Robert Robere Ran Tao

Published in: J. ACM (2024)

Keyphrases

worst case
neural network
information systems
real world
learning algorithm
artificial intelligence
image processing
multimedia
database systems
video sequences
theorem prover
space complexity
lower complexity
conjunctive query containment