Tradeoffs for small-depth Frege proofs.

Toniann Pitassi Prasanna Ramakrishnan Li-Yang Tan

Published in: FOCS (2022)

Keyphrases

database
databases
small number
neural network
case study
depth map
depth information
formal proof
data sets
real world
image processing
three dimensional
search algorithm
medium size
mathematical proofs