Loris D’Antoni

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 …