15 citations · 23 across the 3 of their papers we have counts for
3 papers
cs.LG2020★ 15 cited
Scaling Polyhedral Neural Network Verification on GPUs
Christoph Müller, François Serre, Gagandeep Singh +2
Certifying the robustness of neural networks against adversarial attacks is essential to their reliable adoption in safety-critical systems such as autonomous driving and medical d…
cs.DS2017★ 1 cited
Characterizing and Enumerating Walsh-Hadamard Transform Algorithms
François Serre, Markus Püschel
We propose a way of characterizing the algorithms computing a Walsh-Hadamard transform that consist of a sequence of arrays of butterflies () inter…
math.RA2014★ 7 cited
A Lower-Upper-Lower Block Triangular Decomposition with Minimal Off-Diagonal Ranks
François Serre, Markus Püschel
We propose a novel factorization of a non-singular matrix , viewed as a -blocked matrix. The factorization decomposes into a product of three matrices that are lo…