news category icon

Wasserstein Verification Paper Published

Post Date: 15. October 2021

We are proud to present our joint work with the University of Göttingen. Formal verification of neural networks is a challenging topic! In the past, verification methods were mainly focused on Lp-norms for measuring imperceptibility. Using Lp-norms for measuring the size of noise fails to capture human similarity perception, which is why measures like the Wasserstein metric are increasingly being used in the field of adversarial robustness.
We were now able to develop a formal verification framework for the highly complex Wasserstein metric. Furthermore, we present a simple Wasserstein attack, which generates adversarial data 16x faster than previous benchmark attacks.

We recommend the reading: https://arxiv.org/pdf/2110.06816.pdf

You may also find this interesting

Hands on Guide to comply with ECJ ruling

Hands on Guide to comply with ECJ ruling

In this article we want to propose a strategy on how to satisfy legal constraints AI is facing right now. The ruling of the European Court of Justice (ECJ), on the 21st of July 2022, is a perfect example that empathizes the need for transparency and risk evaluation...

Germany takes enormous leap towards safe autonomous driving

Germany takes enormous leap towards safe autonomous driving

KI Absicherung positions Germany to compete in the race for  key new technologies and prepares the German automotive industry for market leadership in autonomous driving. We at neurocat were proud to be part of the "KI Absicherung" (roughly, Safeguarding AI)...

neurocat and the Rise of AI

neurocat and the Rise of AI

On the 8th of June 2022 Florens Gressner  (CEO of neurocat) had the opportunity to talk at the Rise of AI Conference 2022, the most influential platform in the AI Industry. He talks about the upcoming AI Act that will...

neurocat wins 1st place award at TechAD 2022

neurocat wins 1st place award at TechAD 2022

Neurocat won 1st place in Software and Compute Category at the 2022 edition of the Tech.AD EUROPE AWARD. The Tech.AD Europe Award exclusively honours extraordinary projects in the automotive industry and celebrates exceptional solutions & innovations. “The winners...

neurocat donates 3.600€ to support Ukrainian refugees

neurocat donates 3.600€ to support Ukrainian refugees

On the 24th of February, Putin announced the start of his contemptible and unjustified military operation on the Ukraine. We from neurocat believe this is also an attack on peace itself and on the fundamental rights that we share with our Ukrainian brothers and...

neurocat CEO Florens Greßner in IHK Berlin Magazine

neurocat CEO Florens Greßner in IHK Berlin Magazine

Our CEO Florens Greßner featured in IHK Berlin magazine’s February 2022 edition talking about his inspiration for #neurocat, love for abstract #mathematics and advice for #young #entrepreneurs 📰 Check out the magazine below (#35, only in German) 👇🏻...

neurocat Honoured With Vision Award 2021

neurocat Honoured With Vision Award 2021

Neurocat was awarded with the VisionAward 2021 at MedienTage Munich. VisionAwards have been given to young and established companies and entrepreneurs who set new trends with a new business idea. The jury for the award consisted of interdisciplinary experts and...

5
4

Did you enjoy what you read? Contact us to learn more about our work!

neurocat logo