Lin Ling

Latest

• Automated Reasoning by Convex Optimization: Proof Simplicity, Duality and Sparsity
• Proving and Disproving Information Inequalities: Theory and Scalable Algorithms
• Social Learning Network and Its Applications in Large Scale Online Education through Chatbot
• Scalable automated proving of information theoretic inequalities with proximal algorithms
• Human-assisted Computation for Auto-Grading
• Pilot study on optimal task scheduling in learning