Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values. - Guillaume Berthelot; Arnault Ioualalen; Matthieu Martel (ARRAY@PLDI, 2025)