A PCP Theorem for Interactive Proofs.

Gal Arnon Alessandro Chiesa Eylon Yogev

Published in: IACR Cryptol. ePrint Arch. (2021)

Keyphrases

interactive theorem proving
user interaction
theorem proving
user friendly
interactive learning
multiscale
highly interactive
machine learning
computer vision
search algorithm
digital libraries
expert systems
computer graphics
graphical interface