An exploratory study of abstraction-based ReLU verification using zones (DBMs), tropical geometry, and Julia prototypes.
Verification Neural Network Institution: École Polytechnique, LIX Degree: Master 1 research project <br / Date: March 26, 2024 Author: Nassim Arifette Supervisors: Éric Goubault, Sylvie Putot Abstract This thesis addresses a critical challe...