Counterexample-Guided Data Augmentation

Counterexample-Guided Data Augmentation

17 May 2018

Alberto L. Sangiovanni-Vincentelli

Papers citing "Counterexample-Guided Data Augmentation"

10 / 10 papers shown

Title
AIREPAIR: A Repair Platform for Neural Networks Xidan Song Youcheng Sun Mustafa A. Mustafa Lucas C. Cordeiro KELM 11 4 0 24 Nov 2022
A Machine Learning Approach to Classifying Construction Cost Documents into the International Construction Measurement Standard J. Ignacio Deza Hisham Ihshaish L. Mahdjoubi 28 0 0 24 Oct 2022
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees Feisi Fu Wenchao Li KELM AAML 41 26 0 14 Oct 2021
Local Repair of Neural Networks Using Optimization K. Majd Siyu Zhou H. B. Amor Georgios Fainekos S. Sankaranarayanan 16 6 0 28 Sep 2021
Global and Local Texture Randomization for Synthetic-to-Real Semantic Segmentation Duo Peng Yinjie Lei Lingqiao Liu Pingping Zhang Jun Liu 22 73 0 05 Aug 2021
A Survey of Data Augmentation Approaches for NLP Steven Y. Feng Varun Gangal Jason W. Wei Sarath Chandar Soroush Vosoughi Teruko Mitamura Eduard H. Hovy AIMat 39 799 0 07 May 2021
Scenic: A Language for Scenario Specification and Data Generation Daniel J. Fremont Edward J. Kim T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli S. Seshia 27 97 0 13 Oct 2020
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI Daniel J. Fremont Johnathan Chiu D. Margineantu Denis Osipychev S. Seshia 23 53 0 14 May 2020
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems T. Dreossi Daniel J. Fremont Shromona Ghosh Edward J. Kim H. Ravanbakhsh Marcell Vazquez-Chanlatte S. Seshia 13 29 0 12 Feb 2019
Semantic Adversarial Deep Learning S. Seshia S. Jha T. Dreossi AAML SILM 16 90 0 19 Apr 2018