Microsoft Technology Licensing, LLC

Mohammad Raza

Sumit Gulwani

Daniel Morris

Vu Minh Le

Gustavo Araujo Soares

Arjun Radhakrishna

Ashish Tiwari

Kiarash Rahmani

Embodiments use a multi-modal approach to generate software programs that match a solution program description. The solution program description may include natural language, input-output examples, partial source code, desired operators, or other hints. Some embodiments use optimized prompts to a pre-trained language model to obtain initial candidate programs. Maximal program components are extracted and then recombined variously using component-based synthesis. Beam search reduces a solution program search space by discarding some candidates from a given synthesis iteration. Relevance metrics, string similarity metrics, operator frequency distributions, token rareness scores, and other optimizations may be employed. By virtue of optimizations and the multi-modal approach, a solution program may be obtained after fewer iterations than by use of a language model alone. The multi-modal approach is domain agnostic, as illustrated by examples using regular expression and cascading style sheet selector domain specific languages.

Multi-modal program inference

Growing community of inventors

Redmond, WA, United States of America

Mohammad Raza