An Automated Theorem Proving Framework for Information-Theoretic Results.
Cheuk Ting LiPublished in: IEEE Trans. Inf. Theory (2023)
Keyphrases
- information theoretic
- theoretic framework
- mutual information
- information theory
- automated theorem proving
- probabilistic model
- theorem proving
- information bottleneck
- log likelihood
- minimum description length
- entropy measure
- information theoretic measures
- natural language
- multi class
- theorem prover
- kullback leibler divergence