An Automated Theorem Proving Framework for Information-Theoretic Results.
Cheuk Ting LiPublished in: CoRR (2021)
Keyphrases
- information theoretic
- theoretic framework
- mutual information
- information theory
- automated theorem proving
- information theoretic measures
- computer vision
- log likelihood
- kullback leibler divergence
- information bottleneck
- feature selection
- knowledge base
- probabilistic model
- minimum description length
- relative entropy