Alex Lin Ling
Alex Lin Ling
Home
Experience
Publications
Contact
CV
Light
Dark
Automatic
Automated Reasoning by Convex Optimization: Proof Simplicity, Duality and Sparsity
Chee Wei Tan
,
Lin Ling
January 2020
Cite
Type
Conference paper
Publication
2020 54th Annual Conference on Information Sciences and Systems (CISS)
Related
Pilot study on optimal task scheduling in learning
Human-assisted Computation for Auto-Grading
Scalable automated proving of information theoretic inequalities with proximal algorithms
Proving and Disproving Information Inequalities: Theory and Scalable Algorithms
Social Learning Network and Its Applications in Large Scale Online Education through Chatbot
Cite
×