We introduce an unsupervised learning algorithmthat combines probabilistic modeling with solver-based techniques for program synthesis.We apply our techniques to both a visual learning domain and a language learning problem,showing that our algorithm can learn many visual concepts from only a few examplesand that it can recover some English inflectional morphology.Taken together, these results give both a new approach to unsupervised learning of symbolic compositional structures,and a technique for applying program synthesis tools to noisy data
This thesis pursues the synthesis of probabilistic programs with rewards. Probabilistic synthesis le...
This thesis describes work on two applications of probabilistic programming: the learning of probab...
This article surveys work on Unsupervised Learning of Morphology. We define Unsupervised Learning of...
A key challenge in program synthesis concerns how to efficiently search for the desired program in t...
With the advancement of modern technologies, programming becomes ubiquitous not only among professio...
A key challenge of existing program synthesizers is ensuring that the synthesized program generalize...
Program synthesis is a term that describes a family of techniques that enables automatic generation ...
How do people learn abstract concepts unsupervised? Psychologists broadly recognize two types of con...
This paper presents a learning and inference mechanism for unsupervised learning of semantic concept...
This report outlines an approach to learning generative models from data. We express models as proba...
Improving developer productivity is an important, but very difficult task, that researchers from bot...
Program synthesis is the use of algorithms to derive programs that satisfy given specifications. The...
The knowledge of text patterns in a domain-specific corpus is valuable in many natural language proc...
This dissertation presents several new methods of supervised and unsupervised learning of word sense...
Building systems that can synthesize programs from natural specifications (such as examples or langu...
This thesis pursues the synthesis of probabilistic programs with rewards. Probabilistic synthesis le...
This thesis describes work on two applications of probabilistic programming: the learning of probab...
This article surveys work on Unsupervised Learning of Morphology. We define Unsupervised Learning of...
A key challenge in program synthesis concerns how to efficiently search for the desired program in t...
With the advancement of modern technologies, programming becomes ubiquitous not only among professio...
A key challenge of existing program synthesizers is ensuring that the synthesized program generalize...
Program synthesis is a term that describes a family of techniques that enables automatic generation ...
How do people learn abstract concepts unsupervised? Psychologists broadly recognize two types of con...
This paper presents a learning and inference mechanism for unsupervised learning of semantic concept...
This report outlines an approach to learning generative models from data. We express models as proba...
Improving developer productivity is an important, but very difficult task, that researchers from bot...
Program synthesis is the use of algorithms to derive programs that satisfy given specifications. The...
The knowledge of text patterns in a domain-specific corpus is valuable in many natural language proc...
This dissertation presents several new methods of supervised and unsupervised learning of word sense...
Building systems that can synthesize programs from natural specifications (such as examples or langu...
This thesis pursues the synthesis of probabilistic programs with rewards. Probabilistic synthesis le...
This thesis describes work on two applications of probabilistic programming: the learning of probab...
This article surveys work on Unsupervised Learning of Morphology. We define Unsupervised Learning of...