← Search

Peter Ebert Christensen

2 accepted papers

2020

Synthesize, Execute and Debug: Learning to Repair for Neural Program Synthesis

NeurIPS 2020poster

The use of deep learning techniques has achieved significant progress for program synthesis from input-output examples. However, when the program semantics become more complex, it still remains a challenge to synthesize programs that are consistent with the specification. In this work, we propose SE…

Cited by 57SourcePDFScholar