Sign in

Constant-round interactive proofs for delegating computation.

Omer ReingoldGuy N. RothblumRon 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