Advisor-Verifier-Prover Games and the Hardness of Information Theoretic Cryptography.
Benny ApplebaumOded NirPublished in: FOCS (2023)
Keyphrases
- information theoretic
- mutual information
- information theory
- theoretic framework
- information bottleneck
- cellular automata
- theorem proving
- jensen shannon divergence
- theorem prover
- information theoretic measures
- kullback leibler divergence
- computational learning theory
- log likelihood
- multi modality
- entropy measure
- minimum description length
- maximum a posteriori