Scalable automated proving of information theoretic inequalities with proximal algorithms

Publication
2019 IEEE International Symposium on Information Theory (ISIT)

Related