Unsupervised learning by program synthesis by Ellis, Kevin M., Solar Lezama, Armando, Tenenbaum, Joshua B

“…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.…”
Get full text
Get full text
Get full text
Get full text

Program Synthesis with Symbolic Properties by Sechopoulos, Theodoros

“…Program synthesis is the task of automatically writing computer programs given a specification for their behavior. …”
Get full text

Search and Representation in Program Synthesis by Nye, Maxwell

“…From a scientific perspective, program synthesis may provide a way to learn compact, generalizable rules from a small number of examples, something machine learning still struggles with, but humans find easy. …”
Get full text

Program synthesis: challenges and opportunities by Kroening, D, David, C

“…Program synthesis is the mechanised construction of software, dubbed “self-writing code”. …”

Program synthesis for program analysis by David, C, Kesseli, P, Kroening, D, Lewis, M

“…In this article, we propose a unified framework for designing static analysers based on program synthesis. For this purpose, we identify a fragment of second-order logic with restricted quantification that is expressive enough to model numerous static analysis problems (e.g., safety proving, bug finding, termination and non-termination proving, refactoring). …”

Adaptive Concretization for Parallel Program Synthesis by Jeon, Jinseong, Foster, Jeffrey S., Qiu, Xiaokang, Solar Lezama, Armando

“…Program synthesis tools work by searching for an implementation that satisfies a given specification. …”
Get full text
Get full text
Get full text

Program synthesis with algebraic library specifications by Mariano, Benjamin, Reese, Josh, Xu, Siyuan, Nguyen, ThanhVu, Qiu, Xiaokang, Foster, Jeffrey S, Solar-Lezama, Armando

“…<jats:p>A key challenge in program synthesis is synthesizing programs that use libraries, which most real-world software does. …”
Get full text

Program Synthesis over Noisy Data by Handa, Shivam

“…I present a new framework and associated synthesis algorithms for program synthesis over noisy data, i.e., data that may contain incorrect/corrupted input-output examples. …”
Get full text

Using Program Synthesis for Social Recommendations by Cheung, Alvin, Solar-Lezama, Armando, Madden, Samuel

“…The key contribution of this paper is a new algorithm that combines existing machine learning techniques with new program synthesis technology to learn users' preferences. …”
Get full text

Using program synthesis for social recommendations by Cheung, Alvin K., Solar-Lezama, Armando, Madden, Samuel R.

“…The key contribution of this paper is a new algorithm that combines machine learning techniques with program synthesis technology to learn users' preferences. …”
Get full text
Get full text
Get full text
Get full text

Accessible programming using program synthesis by Singh, Rishabh

Get full text

Using program synthesis for program analysis by David, C, Kroening, D, Lewis, M

“…In this paper, we propose a unified framework for designing static analysers based on program synthesis. For this purpose, we identify a fragment of second-order logic with restricted quantification that is expressive enough to capture numerous static analysis problems (e.g. safety proving, bug finding, termination and non-termination proving, superoptimisation). …”

Relational program synthesis with numerical reasoning by Hocquette, C, Cropper, A

“…However, current program synthesis approaches struggle to learn programs with numerical values. …”

Knowledge refactoring for inductive program synthesis by Dumancic, S, Guns, T, Cropper, A

Synthesis without syntactic templates by Polgreen, E

Subjects: “…Program Synthesis…”

Logic program synthesis from incomplete information / by 380653 Flener, Pierre

Program synthesis from execution traces and demonstrations by Yessenov, Kuat T

Get full text

Compilation using correct-by-construction program synthesis by Pit-Claudel, Clément

Get full text

Program synthesis from polymorphic refinement types by Polikarpova, Nadezhda, Kuraj, Ivan, Solar Lezama, Armando

“…We observe that such specifications are particularly suitable for program synthesis for two reasons. First, they offer a unique combination of expressive power and decidability, which enables automatic verification—and hence synthesis—of nontrivial programs. …”
Get full text
Get full text
Get full text
Get full text

Structured Grammatical Evolution applied to program synthesis by Zhang, Andrew H.,M. Eng.Massachusetts Institute of Technology.

Get full text