Vérification formelle de réseaux de neurones profonds: théorie et pratique

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Girard-Satabin, Julien and Charpiat, Guillaume and Chihani, Zakaria and Schoenauer, Marc

Journal title: PFIA 2020

Journal number: 2020

Journal publisher: https://hal.inria.fr/hal-02440520

Published year: 2020