A Note on Almost Perfect Probabilistically Checkable Proofs of Proximity.

Published in: CoRR (2015)

Keyphrases

stochastic logic programs
decision trees
preprocessing
onset detection
three dimensional
theorem prover
theorem proving
decision procedures
mathematical proofs
data sets
formal proofs
formal proof
proximity measures
random walk
special case
website
artificial intelligence
information retrieval