Efficient Interactive Proofs for Non-Deterministic Bounded Space.

Joshua Cook Ron D. Rothblum

Published in: APPROX/RANDOM (2023)

Keyphrases

databases
neural network
data mining
database
knowledge base
feature space
search space
probabilistic model
cost effective
vector space
space requirements
formal proofs