Follow
Ameesh Shah
Title
Cited by
Cited by
Year
Finite automata can be linearly decoded from language-recognizing RNNs
JJ Michalenko, A Shah
International Conference on Learning Representations (ICLR), 2019
23*2019
Learning Differentiable Programs with Admissible Neural Heuristics
A Shah, E Zhan, JJ Sun, A Verma, Y Yue, S Chaudhuri
NeurIPS 2020, 2020
182020
Demonstration informed specification search
M Vazquez-Chanlatte, A Shah, G Lederman, SA Seshia
arXiv preprint arXiv:2112.10807, 2021
32021
Model-based Formalization of the Autonomy-to-Human Perception Hand-off
YV Pant, BT Kumaravel, A Shah, E Kraemer, M Vazquez-Chanlatte, ...
Technical Report UCB/EECS-2021-8, EECS Department, UC Berkeley, 2021
22021
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations
N Lauffer, B Yalcinkaya, M Vazquez-Chanlatte, A Shah, SA Seshia
arXiv preprint arXiv:2205.13013, 2022
2022
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–6