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

Read more

Proud to present the research paper contributed by colleagues at neurocat GmbH & Volkswagen AG. Risk Assessment for ML models is of paramount impo...

Read more

State-of-the-art neural networks are vulnerable to adversarial examples. This major problem for the safe deployment of ML models arises when minor inp...

Read more

Two of our cats are soon going to give a talk about the current status of duality-based adversarial robustness verification. The content will strongly...

Read more

AI and ML experts from all over Germany came together to kick-off work on the DIN SPEC 92001 ‘Artificial Intelligence – Quality requiremen...

Read more

As mentioned in our last post the GDPR is coming and companies have to get ready! There is a considerable number of people claiming that the GDPR coul...

Read more