OptiMind is a small language model that converts business operation challenges, described naturally, into mathematical formulations that optimization software can solve. It reduces formulation time & errors & enables fast, privacy-preserving local use.
In this issue: Kosmos-2.5: A Multimodal Literate Model; Can vine copulas explain complex relationships of weather variables; New system accelerates the adaptive training process; Structural inequalities and relational labor in the influencer industry.
Welcome to Research Focus, a series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Yael Tauman Kalai, a senior principal researcher at Microsoft Research, has been awarded the 2022 ACM Prize in…
A Generative adversarial network, or GAN, is one of the most powerful machine learning models proposed by Goodfellow et al. (opens in new tab) for learning to generate samples from complicated real-world distributions. GANs have sparked millions of applications, ranging from generating realistic images or…
It’s not uncommon for us to hear that the Z3 theorem prover is magical, but the frequency of such complimentary feedback doesn’t make it any less unexpected—or humbling. When we began work on Z3 in 2006, the design was motivated by two emerging use cases:…
Since its open-source release on December 3rd 2018, Microsoft SEAL has become one of the world’s most popular homomorphic encryption libraries and has been adopted by security and privacy professionals world-wide in both academia and industry. Thanks to the fact that it is written in…
One empirical finding in deep learning is that simple methods such as stochastic gradient descent (SGD) have a remarkable ability to fit training data. From a capacity perspective, this may not be surprising— modern neural networks are heavily over-parameterized, with the number of parameters much…
“How can one check a routine in the sense of making sure that it is right?” asked Alan Turing in 1949, foreshadowing the science of program proving decades before it became a formally accepted field of computer science. Program proving, model checking, theorem solving –…
What an exciting two days at the Second Homomorphic Encryption Standardization Workshop at Massachusetts Institute of Technology. More than 70 participants from 10 countries gathered together for two intense days of panels, discussions and planning and walked away with a significant milestone: the first draft…
Earlier this week Microsoft Research Montreal celebrated the International Day of Women and Girls in STEM (science, technology, engineering and mathematics) with a one-day symposium: I Chose STEM. More than 200 Canadian STEM students and research community stakeholders joined Microsoft Research for inspirational keynotes, workshops…
Harness Machine Learning to Improve People’s Lives At Microsoft, we are committed to leveraging the power of Artificial Intelligence (AI) to benefit people and greater society. Advances in AI can be applied to address some of the world’s biggest challenges, and so we are keen…
By Dr. Meredith Ringel Morris, Principal Researcher, Microsoft Research I am pleased to announce that Microsoft Research is funding a new academic program, the Microsoft Research Dissertation Grant. This grant program offers selected doctoral students doing computing research at U.S. and Canadian universities up to…
Meet our community of researchers, learn about exciting research topics, and grow your network
Ongoing conversations at the cutting edge of research
Join us for a continuous exchange of ideas about research in the era of general AI
