On the Impossibility of Probabilistic Proofs in Relativized Worlds.
Alessandro ChiesaSiqi LiuPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- bayesian networks
- generative model
- probabilistic model
- database
- belief networks
- uncertain data
- posterior probability
- formal proofs
- stochastic context free grammars
- probabilistic logic
- probability theory
- theorem proving
- information theoretic
- data structure
- multiscale
- decision making
- feature selection
- learning algorithm
- neural network
- databases