most citedExtending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions

4 citations · 4 across the 1 of their papers we have counts for

collaborators

1 paper

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…