Invention Grant
- Patent Title: Ranking for inductive synthesis of string transformations
- Patent Title (中): 字符串转换的归纳合成排名
-
Application No.: US13653581Application Date: 2012-10-17
-
Publication No.: US09002758B2Publication Date: 2015-04-07
- Inventor: Sumit Gulwani , Rishabh Singh
- Applicant: Microsoft Corporation
- Applicant Address: US WA Redmond
- Assignee: Microsoft Technology Licensing, LLC
- Current Assignee: Microsoft Technology Licensing, LLC
- Current Assignee Address: US WA Redmond
- Agent Steve Wight; Judy Yee; Micky Minhas
- Main IPC: G06F15/18
- IPC: G06F15/18 ; G06F17/22

Abstract:
Ranking technique embodiments are presented that use statistical and machine learning techniques to learn the desired ranking function for use in inductive program synthesis for the domain of string transformations. This generally involves automatically creating a training dataset of positive and negative examples from a given set of training tasks, each including multiple input-output examples. From the training dataset, a ranking function is learned that assigns an expression in a program in the domain specific language to a likelihood measure. This ranking function is then used to compute likelihoods of learnt programs from a very small number of input-output examples for a new task.
Public/Granted literature
- US20140108305A1 RANKING FOR INDUCTIVE SYNTHESIS OF STRING TRANSFORMATIONS Public/Granted day:2014-04-17
Information query