What's Decidable about Syntax-Guided Synthesis? - Benjamin Caulfield; Markus N. Rabe; Sanjit A. Seshia; Stavros Tripakis (CoRR, 2015)

Learning and Logic for Formal Synthesis. - Benjamin Caulfield (2020)

Modularity in Query-Based Concept Learning. - Benjamin Caulfield; Sanjit A. Seshia (NeuS, 2025)