17 citations · 31 across the 6 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.RO2020★ 5 cited
Interactive Robot Training for Non-Markov Tasks
Ankit Shah, Samir Wadhwania, Julie Shah
Defining sound and complete specifications for robots using formal languages is challenging, while learning formal specifications directly from demonstrations can lead to over-cons…
cs.LG2020★ 5 cited
Bayes-TrEx: a Bayesian Sampling Approach to Model Transparency by Example
Serena Booth, Yilun Zhou, Ankit Shah +1
Post-hoc explanation methods are gaining popularity for interpreting, understanding, and debugging neural networks. Most analyses using such methods explain decisions in response t…
cs.LG2020★ 1 cited
Sampling Prediction-Matching Examples in Neural Networks: A Probabilistic Programming Approach
Serena Booth, Ankit Shah, Yilun Zhou +1
Though neural network models demonstrate impressive performance, we do not understand exactly how these black-box models make individual predictions. This drawback has led to subst…