TFNP Characterizations of Proof Systems and Monotone Circuits.

Sam Buss Noah Fleming Russell Impagliazzo

Published in: ITCS (2023)

Keyphrases

multimedia
learning systems
information retrieval
computer vision
decision trees
data structure
learning environment
artificial neural networks
information retrieval systems
building blocks
theorem prover