Learning Differentiable Programs with Admissible Neural Heuristics A Shah, E Zhan, JJ Sun, A Verma, Y Yue, S Chaudhuri NeurIPS 2020, 2020 | 44 | 2020 |
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 | 3 | 2022 |
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 | 2 | 2023 |
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 | 2 | 2023 |
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 |