Login / Signup
Strong ETH Breaks With Merlin and Arthur: Short Non-Interactive Proofs of Batch Evaluation.
Ryan Williams
Published in:
Electron. Colloquium Comput. Complex. (2016)
Keyphrases
</>
real world
evaluation methods
neural network
user interaction
user friendly
theorem prover
data visualization
batch processing
interactive retrieval