research
∙
12/30/2020
Visual counterexample explanation for model checking with Oeritte
Despite being one of the most reliable approaches for ensuring system co...
share
research
∙
06/07/2020
Realistic text replacement with non-uniform style conditioning
In this work, we study the possibility of realistic text replacement, th...
research
∙
03/04/2020
Metrics and methods for robustness evaluation of neural networks with generative models
Recent studies have shown that modern deep neural network classifiers ar...
research
∙
07/27/2019
