25 citations · 68 across the 11 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
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…
eess.SP2020★ 25 cited
Digraph Signal Processing with Generalized Boundary Conditions
Bastian Seifert, Markus Püschel
Signal processing on directed graphs (digraphs) is problematic, since the graph shift, and thus associated filters, are in general not diagonalizable. Furthermore, the Fourier tran…
cs.IT2020★ 14 cited
Discrete Signal Processing with Set Functions
Markus Püschel, Chris Wendler
Set functions are functions (or signals) indexed by the powerset (set of all subsets) of a finite set N. They are fundamental and ubiquitous in many application domains and have be…