235 citations · 356 across the 13 of their papers we have counts for
3 papers · 1 filter
A Formalization of Robustness for Deep Neural Networks
Tommaso Dreossi, Shromona Ghosh, Alberto Sangiovanni-Vincentelli +1
Deep neural networks have been shown to lack robustness to small input perturbations. The process of generating the perturbations that expose the lack of robustness of neural netwo…
Counterexample-Guided Data Augmentation
Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue +3
We present a novel framework for augmenting data sets for machine learning based on counterexamples. Counterexamples are misclassified examples that have important properties for r…
Time Series Learning using Monotonic Logical Properties
Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh +2
Cyber-physical systems of today are generating large volumes of time-series data. As manual inspection of such data is not tractable, the need for learning methods to help discover…