Alex Lin Ling
Alex Lin Ling
Home
Experience
Publications
Contact
CV
Light
Dark
Automatic
Proving and Disproving Information Inequalities: Theory and Scalable Algorithms
Siu-Wai Ho
,
Lin Ling
,
Chee Wei Tan
,
Raymond W Yeung
January 2020
PDF
Cite
Type
Journal article
Publication
IEEE Transactions on Information Theory
Related
Scalable automated proving of information theoretic inequalities with proximal algorithms
Pilot study on optimal task scheduling in learning
Human-assisted Computation for Auto-Grading
Automated Reasoning by Convex Optimization: Proof Simplicity, Duality and Sparsity
Social Learning Network and Its Applications in Large Scale Online Education through Chatbot
Cite
×