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

96
Опубликовано 8 февраля 2022, 17:44
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
автотехномузыкадетское