A PCP Theorem for Interactive Proofs and Applications.

Gal Arnon Alessandro Chiesa Eylon Yogev

Published in: EUROCRYPT (2) (2022)

Keyphrases

interactive theorem proving
user friendly
information retrieval
computer graphics
virtual reality
neural network
feature selection
artificial neural networks
probabilistic model
user interaction
theorem proving
interactive learning
product configuration
interactive video