Pinwheel graphic representing the Microsoft Research Summit
Return to Event: Microsoft Research Summit 2021

Microsoft Research Summit 2021 • Videos

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: https://Aka.ms/researchsummit (opens in new tab)

Track:
Empowering Developers and Mathematicians with Next-Gen AI
Date:
Speakers:
Madan Musuvathi
Affiliation:
Microsoft Research Redmond

Empowering Developers and Mathematicians with Next-Gen AI