4 citations · 4 across the 2 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
Shifting-based Optimizable Linear Relaxations for General Activation Functions
Philipp Kern, László Antal, Erika Ábráham +1
The use of neural networks (NNs) is rapidly increasing, including in safety- and security-critical domains. To provide formal guarantees about NN behavior, many verification method…
cs.LG2023★ 4 cited
Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions
László Antal, Hana Masara, Erika Ábrahám
In this paper, we extend an available neural network verification technique to support a wider class of piece-wise linear activation functions. Furthermore, we extend the algorithm…