Constant-round interactive proofs for delegating computation.

Omer Reingold Guy N. Rothblum Ron D. Rothblum

Published in: STOC (2016)

Keyphrases

user friendly
user interaction
theorem proving
neural network
image processing
virtual reality
graphical interface
genetic algorithm
computer vision
information systems
computer graphics
decision procedures