On Prover-Efficient Public-Coin Emulation of Interactive Proofs.

Gal Arnon Guy N. Rothblum

Published in: Electron. Colloquium Comput. Complex. (2019)

Keyphrases

theorem proving
theorem prover
data analysis
cost effective
neural network
data mining
real time
data sets
artificial intelligence
decision making
lightweight
computationally efficient
computationally expensive
user friendly