An Automated Theorem Proving Framework for Information-Theoretic Results.
Cheuk Ting LiPublished in: ISIT (2021)
Keyphrases
- information theoretic
- theoretic framework
- mutual information
- information theory
- automated theorem proving
- log likelihood
- multi modality
- maximum likelihood
- information theoretic measures
- image processing
- information bottleneck
- entropy measure
- theorem proving
- bayesian framework
- semi supervised
- multi class
- image analysis