A Hierarchy Theorem for Interactive Proofs of Proximity.

Tom Gur Ron D. Rothblum

Published in: ITCS (2017)

Keyphrases

interactive theorem proving
user interaction
real time
website
similarity measure
interactive systems
interactive video
formal proofs
data sets
social networks
information systems
knowledge base
pairwise
control system
computer graphics
hierarchical structure