Publications

Learning Concepts from Membership and Preference Queries
Demonstration-Informed Specification Search
Model-based Formalization of the Autonomy-to-Human Perception Hand-off
Learning Differentiable Programs with Admissible Neural Heuristics
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks