4 citations · 4 across the 1 of their papers we have counts for
2 papers
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…
cs.SC2023
FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex
Valentin Promies, Jasper Nalbach, Erika Ábrahám +1
In this paper we present a quantifier elimination method for conjunctions of linear real arithmetic constraints. Our algorithm is based on the Fourier-Motzkin variable elimination…