发明名称 |
RANKING FOR INDUCTIVE SYNTHESIS OF STRING TRANSFORMATIONS |
摘要 |
<p>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.</p> |
申请公布号 |
EP2909740(A2) |
申请公布日期 |
2015.08.26 |
申请号 |
EP20130786055 |
申请日期 |
2013.10.17 |
申请人 |
MICROSOFT TECHNOLOGY LICENSING, LLC |
发明人 |
GULWANI, SUMIT;SINGH, RISHABH |
分类号 |
G06F17/22 |
主分类号 |
G06F17/22 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|