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 rely on the recent publication ”Training Verified Learners with Learned Verifiers” by K. Dvijotham et al. (DeepMind). If you are as excited about this topic as we are – take a look at the attached presentation draft!

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