Proof of Space from Stacked Expanders.

Ling Ren Srinivas Devadas

Published in: TCC (B1) (2016)

Keyphrases

theorem prover
knowledge base
artificial neural networks
logic programs
data sets
genetic algorithm
information systems
clustering algorithm
case study
similarity measure
search algorithm
feature space
search space
low dimensional
theorem proving
higher dimensional