Artificial Intelligence
Pursuing computing advances to create intelligent machines that complement human reasoning to augment and enrich our experience and competencies.
Publication
Learning to Verify the Heap
Publication
Gated Graph Sequence Neural Networks
Microsoft Research Blog
Cultivating collaboration: a people first approach
By Miran Lee, Principal Research Program Manager, Microsoft Research Asia When we focus on people first, great projects and new technologies can’t be far behind. This perspective guides Microsoft Research’s activities in every region, and Korea…
Publication
Debugging Machine Learning Tasks
Video
Information-Theoretic Bounded Rationality
In this talk I provide an overview of information-theoretic bounded-rationality for planning in sequential decision problems. I show how to ground the theory on a stochastic computation model for large-scale choice spaces and then derive…
Video
Revealing Nuances in Data at Scale
People are asked to explore and make sense of enormous amounts of information on a daily basis. Faced with the limits of human perception and cognition, many turn to machine learning and data visualization technologies…
