9 citations · 9 across the 3 of their papers we have counts for
3 papers
cs.LG2019
Modularity in Query-Based Concept Learning
Benjamin Caulfield, Sanjit A. Seshia
We define and study the problem of modular concept learning, that is, learning a concept that is a cross product of component concepts. If an element's membership in a concept depe…
cs.LO2015★ 9 cited
What's Decidable about Syntax-Guided Synthesis?
Benjamin Caulfield, Markus N. Rabe, Sanjit A. Seshia +1
Syntax-guided synthesis (SyGuS) is a recently proposed framework for program synthesis problems. The SyGuS problem is to find an expression or program generated by a given grammar…
cs.FL2013
On Even Linear Indexed Languages with a Reduction to the Learning of Context-Free Languages
Benjamin Caulfield
This paper presents a restricted form of linear indexed grammars, called even linear indexed grammars, which yield the even linear indexed languages. These languages properly conta…