Follow
Ameesh Shah
Title
Cited by
Cited by
Year
Learning Differentiable Programs with Admissible Neural Heuristics
A Shah, E Zhan, JJ Sun, A Verma, Y Yue, S Chaudhuri
NeurIPS 2020, 2020
442020
Finite Automata Can be Linearly Decoded from Language-Recognizing RNNs
JJ Michalenko, A Shah
International Conference on Learning Representations (ICLR), 2019
30*2019
Demonstration informed specification search
M Vazquez-Chanlatte, A Shah, G Lederman, SA Seshia
CoRR, vol. abs/2112.10807, 2021
5*2021
Modeling and influencing human attentiveness in autonomy-to-human perception hand-offs
YV Pant, BT Kumaravel, A Shah, E Kraemer, M Vazquez-Chanlatte, ...
2022 ieee 25th international conference on intelligent transportation …, 2022
4*2022
Learning deterministic finite automata decompositions from examples and demonstrations
N Lauffer, B Yalcinkaya, M Vazquez-Chanlatte, A Shah, SA Seshia
Conference on Formal MEthods in Computer-Aided Design–FMCAD 2022, 325, 2022
32022
Learning Formal Specifications from Membership and Preference Queries
A Shah, M Vazquez-Chanlatte, S Junges, SA Seshia
ICML Workshop The Many Facets of Preference-Based Learning, 2023
22023
Who needs to know? minimal knowledge for optimal coordination
N Lauffer, A Shah, M Carroll, MD Dennis, S Russell
International Conference on Machine Learning, 18599-18613, 2023
22023
Specification-Guided Data Aggregation for Semantically Aware Imitation Learning
A Shah, J DeCastro, J Gideon, B Yalcinkaya, G Rosman, SA Seshia
arXiv preprint arXiv:2303.17010, 2023
2023
Differentiable Program Learning with an Admissible Neural Heuristic
A Shah
Rice University, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–9