Ghosh, Shromona

2 publications

MLJ 2023 Scenic: A Language for Scenario Specification and Data Generation Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

IJCAI 2018 Counterexample-Guided Data Augmentation Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia