IMDEA Software

Iniciativa IMDEA

Inicio > Eventos > Charlas Invitadas > 2022 > Formal Verification of Neural Networks?
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Martin Leucker

miércoles 6 de abril de 2022

12:00pm Zoom5 - (pass: 5551337)

Martin Leucker, Profesor, University of Luebeck, Germany

Formal Verification of Neural Networks?


Machine learning is a popular tool for building state of the art software systems. It is more and more used also in safety critical areas. This demands for verification techniques ensuring the safety and security of machine learning based solutions. However, in this presentation, we argue that the popularity of machine learning comes from the fact that no formal specification exists which renders traditional verification in appropriate. Instead, validation is typically demanded and we present a recent technique that validates certain correctness properties for an underlying recurrent neural network.