An Automated Theorem Proving Framework for Information-Theoretic Results
An Automated Theorem Proving Framework for Information-Theoretic Results
We present a versatile automated theorem proving framework capable of automated proofs of outer bounds in network information theory, automated discovery of inner bounds in network information theory (in conjunction with the method by Lee and Chung), simplification of capacity regions involving auxiliary random variables, automated deduction of properties of …