Articles by Julien Girard-Satabin

Counting linear regions for neural networks verification

-- Julien Girard-Satabin (Université Paris-Saclay)

Neural networks are becoming an increasingly popular class of programs. However, their relative lack of safety presents an obstacle to their wide acceptance yet to be tackled. To approximate complex behaviours, neural networks rely on piece-wise linear activation functions in their control flow. This piece-wise linear behaviour yield regions on ...