Channel: Microsoft Research

Category: Science & Technology

Tags: symbolic reasoningmachine learning systemsmicrosoft research summitnext generation aideveloper productivity

Description: Speaker: Madan Musuvathi, Partner Research Manager, Microsoft Research Redmond Machine learning systems have become increasingly capable of making fast, plausible predictions in diverse situations. Combining this capability with the reliability of symbolic reasoning will produce next generation AI that will empower developers and mathematicians in exciting new ways. This track will explore recent progress in this area, including ways to boost productivity, security, and support for evolving communities, as well as research on performant machine learning systems. Learn more about the 2021 Microsoft Research Summit: Aka.ms/researchsummit