| 2025 |
J |
jnl |
CoRR
Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Hanna Krasowski, Sanjit A. Seshia
|
| 2025 |
J |
jnl |
Trans. Mach. Learn. Res.
Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia
|
| 2025 |
J |
jnl |
CoRR
Ameesh Shah, William Chen, Adwait Godbole, Federico Mora, Sanjit A. Seshia, Sergey Levine
|
| 2025 |
— |
conf |
NeuS
Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia
|
| 2025 |
A |
conf |
AAMAS
Ameesh Shah, Niklas Lauffer, Thomas Chen, Nikhil Pitta, Sanjit A. Seshia
|
| 2025 |
J |
jnl |
CoRR
Ameesh Shah, Niklas Lauffer, Thomas Chen, Nikhil Pitta, Sanjit A. Seshia
|
| 2025 |
J |
jnl |
CoRR
Niklas Lauffer, Ameesh Shah, Micah Carroll, Sanjit A. Seshia, Stuart Russell, Michael Dennis
|
| 2024 |
J |
jnl |
CoRR
Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia
|
| 2023 |
J |
jnl |
CoRR
Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia
|
| 2023 |
J |
jnl |
CoRR
Ameesh Shah, Jonathan A. DeCastro, John Gideon, Beyazit Yalcinkaya, Guy Rosman, Sanjit A. Seshia
|
| 2023 |
A* |
conf |
ICML
Niklas Lauffer, Ameesh Shah, Micah Carroll, Michael D. Dennis, Stuart Russell
|
| 2023 |
J |
jnl |
CoRR
Niklas Lauffer, Ameesh Shah, Micah Carroll, Michael Dennis, Stuart Russell
|
| 2022 |
B |
conf |
FMCAD
Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia
|
| 2022 |
J |
jnl |
CoRR
Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia
|
| 2022 |
— |
conf |
ITSC
Yash Vardhan Pant, Balasaravanan Thoravi Kumaravel, Ameesh Shah, Erin Kraemer, Marcell Vazquez-Chanlatte, Kshitij Kulkarni, Bjoern Hartmann, Sanjit A. Seshia
|
| 2021 |
J |
jnl |
CoRR
Marcell Vazquez-Chanlatte, Ameesh Shah, Gil Lederman, Sanjit A. Seshia
|
| 2020 |
A* |
conf |
NeurIPS
Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri
|
| 2020 |
J |
jnl |
CoRR
Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri
|
| 2019 |
— |
conf |
ICLR (Poster)
Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel
|
| 2019 |
J |
jnl |
CoRR
Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel
|