Adaptive Proofs Have Straightline Extractors (in the Random Oracle Model).

David Bernhard Ngoc Khanh Nguyen Bogdan Warinschi

Published in: ACNS (2017)

Keyphrases

probabilistic model
computational model
statistical model
data sets
prior knowledge
prediction model
network model
neural network
objective function
domain specific
theoretical analysis
theoretical framework
sensitivity analysis
formal model
hybrid model