Microsoft Research Summit 2021
Return to Microsoft Research Summit 2021 Microsoft Research Summit 2021

Opening remarks: Empowering software developers and mathematicians with next-generation AI

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:

Empowering Developers and Mathematicians with Next-Gen AI
Madan Musuvathi
Microsoft Research Redmond

Empowering Developers and Mathematicians with Next-Gen AI