Andrei Dan | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Martin Vechev
49 publications
Gagandeep Singh
42 publications
Arthur Gervais
27 publications
Jiayu Chen
14 publications
Mislav Balunović
13 publications
Petar Tsankov
4 publications
Martin Kotuliak
3 publications
Dana Drachsler Cohen
2 publications
Wonryong Ryou
1 publication
Sandro E. Schoenborn
1 publication
Florian Buenzli
1 publication

research

∙ 05/27/2020

Fast and Effective Robustness Certification for Recurrent Neural Networks

We present a precise and scalable verifier for recurrent neural networks...

23 Wonryong Ryou, et al. ∙

research

∙ 05/19/2020

Synthesizing Unrestricted False Positive Adversarial Objects Using Generative Models

Adversarial examples are data points misclassified by neural networks. O...

0 Martin Kotuliak, et al. ∙

research

∙ 06/04/2018

Securify: Practical Security Analysis of Smart Contracts

Permissionless blockchains allow the execution of arbitrary programs (ca...

0 Petar Tsankov, et al. ∙