Search Results for author:
Found 2 papers, 1 papers with code
Counterfactual Explanations for Natural Language Interfaces
A key challenge facing natural language interfaces is enabling users to understand the capabilities of the underlying system.
Synthesizing Symmetric Lenses
Recent work has also demonstrated how techniques from type-directed program synthesis can be used to efficiently synthesize a very simple class of lenses --- so-called bijective lenses over string data --- given a pair of types (regular expressions) and a small number of examples.
Programming Languages
Cannot find the paper you are looking for? You can
Submit a new open access paper.
