Strong ETH Breaks With Merlin and Arthur: Short Non-Interactive Proofs of Batch Evaluation.

Richard Ryan Williams

Published in: Computational Complexity Conference (2016)

Keyphrases

user interaction
data sets
user friendly
interactive retrieval
database
databases
learning algorithm
data analysis
active learning
theorem proving
evaluation methods
evaluation model
evaluation process