Short Proofs Are Hard to Find.

Ian Mertz Toniann Pitassi Yuanhao Wei

Published in: ICALP (2019)

Keyphrases

theorem proving
information retrieval
theorem prover
real time
support vector
database
decision making
control system
management system
computer programs
formal proofs
mathematical proofs