Mislav Balunović | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Gagandeep Singh
4 publications
Martin Vechev
4 publications
Jiayu Chen
3 publications
Wonryong Ryou
1 publication
Nikola Jovanović
1 publication
Andrei Dan
1 publication
Maximilian Baader
1 publication

research

∙ 02/12/2021

Certified Defenses: Why Tighter Relaxations May Hurt Training?

Certified defenses based on convex relaxations are an established techni...

0 Nikola Jovanović, et al. ∙

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. ∙

Success!

An error occurred