Articles by Guillaume Charpiat & Julien Girard-Satabin
Counting linear regions for neural networks verification
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 ...