Timon Gehr | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Martin Vechev
49 publications
Gagandeep Singh
42 publications
Dimitar I. Dimitrov
8 publications
Matthew Mirman
6 publications

research

∙ 07/23/2020

Scalable Inference of Symbolic Adversarial Examples

We present a novel method for generating symbolic adversarial examples: ...

4 Dimitar I. Dimitrov, et al. ∙

research

∙ 04/30/2020

Robustness Certification of Generative Models

Generative neural networks can be used to specify continuous transformat...

0 Matthew Mirman, et al. ∙