Markus Püschel

A Discrete Signal Processing Framework for Meet/join Lattices with Applications to Hypergraphs and Trees

2019

We introduce a novel discrete signal processing framework, called discrete-lattice SP, for signals indexed by a finite lattice. A lattice is a partially ordered set that supports a meet (or join) operation that returns the …

Scaling Polyhedral Neural Network Verification on GPUs

2020 · arXiv (Cornell University)

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 diagnosis. Unfortunately, state-of-the-art verifiers either do not scale to bigger networks …