Narrow Proofs May Be Maximally Long.

Albert Atserias Massimo Lauria Jakob Nordström

Published in: Computational Complexity Conference (2014)

Keyphrases

theorem proving
data sets
databases
object recognition
theorem prover
neural network
multiscale
cooperative
mathematical proofs