Thomas Reps

Neural Attribute Grammars for Semantics-Guided Program Generation

2017 · arXiv (Cornell University)

Existing deep models for code tend to be trained on syntactic program representations. We present an alternative, called Neural Attribute Grammars, that exposes the semantics of the target language to the training procedure using an …

Modular System Synthesis

2023 · arXiv (Cornell University)

This paper describes a way to improve the scalability of program synthesis by exploiting modularity: larger programs are synthesized from smaller programs. The key issue is to make each "larger-created-from-smaller" synthesis sub-problem be of a …