Timezone: »
Title: Deep Learning for Program Synthesis from Input-Output Examples
Abstract: There has been an emerging interest in applying machine learning-based techniques, especially deep neural networks, for program synthesis. However, because of some unique characteristics of the program domain, directly applying deep learning techniques developed for other applications is generally inappropriate. In this talk, I will present my work on program synthesis from input-output examples, aiming at synthesizing programs with higher complexity and better generalization. I will first discuss our work on execution-guided synthesis, where we develop approaches to leverage the execution results of both partial and full programs. In the second part of my talk, I will discuss our work on neural-symbolic architectures for compositional generalization.
Author Information
Xinyun Chen (UC Berkeley)
More from the Same Authors
-
2021 Poster: Latent Execution for Neural Program Synthesis Beyond Domain-Specific Languages »
Xinyun Chen · Dawn Song · Yuandong Tian -
2020 : Panel »
Augustus Odena · Charles Sutton · Roopsha Samanta · Xinyun Chen · Elena Glassman -
2020 Poster: Synthesize, Execute and Debug: Learning to Repair for Neural Program Synthesis »
Kavi Gupta · Peter Ebert Christensen · Xinyun Chen · Dawn Song -
2020 Poster: Compositional Generalization via Neural-Symbolic Stack Machines »
Xinyun Chen · Chen Liang · Adams Wei Yu · Dawn Song · Denny Zhou -
2019 Poster: Coda: An End-to-End Neural Program Decompiler »
Cheng Fu · Huili Chen · Haolan Liu · Xinyun Chen · Yuandong Tian · Farinaz Koushanfar · Jishen Zhao -
2019 Poster: Learning to Perform Local Rewriting for Combinatorial Optimization »
Xinyun Chen · Yuandong Tian -
2018 Poster: Tree-to-tree Neural Networks for Program Translation »
Xinyun Chen · Chang Liu · Dawn Song