Timezone: »
The task of program synthesis, or automatically generating programs that are consistent with a provided specification, remains a challenging task in artificial intelligence. As in other fields of AI, deep learning-based end-to-end approaches have made great advances in program synthesis. However, more so than other fields such as computer vision, program synthesis provides greater opportunities to explicitly exploit structured information such as execution traces, which contain a superset of the information input/output pairs. While they are highly useful for program synthesis, as execution traces are more difficult to obtain than input/output pairs, we use the insight that we can split the process into two parts: infer the trace from the input/output example, then infer the program from the trace. This simple modification leads to state-of-the-art results in program synthesis in the Karel domain, improving accuracy to 81.3% from the 77.12% of prior work.
Author Information
Richard Shin (UC Berkeley)
Illia Polosukhin (NEAR)
Dawn Song (UC Berkeley)
Related Events (a corresponding poster, oral, or spotlight)
-
2018 Spotlight: Improving Neural Program Synthesis with Inferred Execution Traces »
Thu. Dec 6th 09:40 -- 09:45 PM Room Room 220 E
More from the Same Authors
-
2023 Poster: BenchCLAMP: A Benchmark for Evaluating Language Models on Syntactic and Semantic Parsing »
Subhro Roy · Samuel Thomson · Tongfei Chen · Richard Shin · Adam Pauls · Jason Eisner · Benjamin Van Durme -
2021 : Q&A with Professor Dawn Song »
Dawn Song -
2021 : Keynote Talk: Towards Building a Responsible Data Economy (Dawn Song) »
Dawn Song -
2020 : Dawn Song (topic TBD) »
Dawn Song -
2020 Poster: Towards practical differentially private causal graph discovery »
Lun Wang · Qi Pang · Dawn Song -
2019 Poster: Program Synthesis and Semantic Parsing with Learned Code Idioms »
Richard Shin · Miltiadis Allamanis · Marc Brockschmidt · Oleksandr Polozov -
2019 Poster: Using Self-Supervised Learning Can Improve Model Robustness and Uncertainty »
Dan Hendrycks · Mantas Mazeika · Saurav Kadavath · Dawn Song -
2017 : Poster Spotlights I »
Taesik Na · Yang Song · Aman Sinha · Richard Shin · Qiuyuan Huang · Nina Narodytska · Matt Staib · Kexin Pei · Fnu Suya · Amirata Ghorbani · Jacob Buckman · Matthias Hein · Huan Zhang · Yanjun Qi · Yuan Tian · Min Du · Dimitris Tsipras -
2016 Poster: Latent Attention For If-Then Program Synthesis »
Chang Liu · Xinyun Chen · Richard Shin · Mingcheng Chen · Dawn Song