Patent ID: 11934801
Assignee: MICROSOFT TECHNOLOGY LICENSING, LLC
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 15:
16. A computer-readable storage device configured with data and instructions which upon execution by a processor cause a computing system to perform a method for multi-modal program inference, the method comprising:
receiving a solution program description;
obtaining a set of initial candidate programs from a language model, the initial candidate programs based on at least a portion of the solution program description;
inferring program components by extraction from at least a portion of the initial candidate programs;
iteratively constructing a set of synthesized candidate programs from at least a portion of the inferred program components, the synthesized candidate programs constructed using at least program synthesis;
ranking at least two of the synthesized candidate programs or initial candidate programs or both relative to one another;
designating a top-ranked candidate program as a solution program, the solution program being consistent with the solution program description after no more than two iterations of program synthesis candidate program construction; and
leveraging the solution program, wherein leveraging includes at least one of: executing the solution program, recommending execution of the solution program by configuring a user interface of the computing system, or listing a source code of the solution program by configuring the user interface.