Login / Signup
Strong ETH Breaks With Merlin and Arthur: Short Non-Interactive Proofs of Batch Evaluation.
Ryan Williams
Published in:
CoRR (2016)
Keyphrases
</>
machine learning
real time
artificial intelligence
user interaction
user friendly
evaluation process
formal proofs
data mining
computer vision
evaluation criteria
evaluation methods
evaluation model
interactive information retrieval
interactive video
interactive retrieval