Constant-Round Interactive Proofs for Delegating Computation.

Omer Reingold Guy N. Rothblum Ron D. Rothblum

Published in: SIAM J. Comput. (2021)

Keyphrases

neural network
image segmentation
digital libraries
database
data sets
case study
user friendly
theorem prover
theorem proving