Articles by Guillaume Charpiat & Julien Girard-Satabin

Counting linear regions for neural networks verification

-- Guillaume Charpiat & Julien Girard-Satabin (Université Paris-Saclay)

https://bbb.lri.fr/playback/presentation/2.0/playback.html?meetingId=39bbfe5742a821b16c1d6669a8ef00da2d072c73-1606295770581

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 ...