Login / Signup
Hypercontractivity, sum-of-squares proofs, and their applications.
Boaz Barak
Fernando G. S. L. Brandão
Aram W. Harrow
Jonathan A. Kelner
David Steurer
Yuan Zhou
Published in:
STOC (2012)
Keyphrases
</>
formal proofs
theorem prover
theorem proving
formal proof
information retrieval
proof search
relational databases
modal logic
object recognition
metadata
decision procedures
natural deduction
computer vision
artificial intelligence
data sets
automated theorem provers
mathematical proofs