Narrow Proofs May Be Maximally Long.

Albert Atserias Massimo Lauria Jakob Nordström

Published in: CoRR (2014)

Keyphrases

theorem proving
formal proof
decision procedures
data sets
machine learning
control system
theorem prover
long sequences
interactive theorem proving