Ameesh Shah

20192020202120222 7 22 14

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
Eric ZhanPhD Candidate at CaltechVerified email at caltech.edu
Abhinav VermaPostdoc, IST AustriaVerified email at utexas.edu
Swarat ChaudhuriUniversity of Texas at AustinVerified email at cs.utexas.edu
Yisong YueCalifornia Institute of Technology; Argo AIVerified email at caltech.edu
Jennifer J. SunPhD student at CaltechVerified email at caltech.edu
Marcell Vazquez-ChanlatteResearch Scientist at NissanVerified email at linux.com
Yash Vardhan PantAssistant Professor, ECE, University of WaterlooVerified email at uwaterloo.ca

Ameesh Shah

Verified email at berkeley.edu


Title Sort by citations Sort by year Sort by 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	18	2020
Demonstration informed specification search M Vazquez-Chanlatte, A Shah, G Lederman, SA Seshia arXiv preprint arXiv:2112.10807, 2021	3	2021
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	2	2021
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

Citations per year