Generative Explanations for Program Synthesizers

Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta +1

Despite great advances in program synthesis techniques, they remain algorithmic black boxes. Although they guarantee that when synthesis is successful, the implementation satisfies…