Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Markus Püschel

Precise Multi-Neuron Abstractions for Neural Network Certification


Mar 05, 2021
Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh, Markus Püschel, Martin Vechev


  Access Paper or Ask Questions

Learning Set Functions that are Sparse in Non-Orthogonal Fourier Bases


Oct 01, 2020
Chris Wendler, Andisheh Amrollahi, Bastian Seifert, Andreas Krause, Markus Püschel


  Access Paper or Ask Questions

Neural Network Robustness Verification on GPUs


Jul 20, 2020
Christoph Müller, Gagandeep Singh, Markus Püschel, Martin Vechev


  Access Paper or Ask Questions

Discrete Signal Processing with Set Functions


Jan 28, 2020
Markus Püschel, Chris Wendler

* 13 pages, submitted for publication 

  Access Paper or Ask Questions

Powerset Convolutional Neural Networks


Oct 04, 2019
Chris Wendler, Dan Alistarh, Markus Püschel

* to appear in Proc. Neural Information Processing Systems (NeurIPS), 2019 

  Access Paper or Ask Questions

On Linear Learning with Manycore Processors


May 03, 2019
Eliza Wszola, Celestine Mendler-Dünner, Martin Jaggi, Markus Püschel


  Access Paper or Ask Questions

Compressive Sensing with Low Precision Data Representation: Theory and Applications


Jun 06, 2018
Nezihe Merve Gürel, Kaan Kara, Alen Stojanov, Tyler Smith, Dan Alistarh, Markus Püschel, Ce Zhang

* 33 pages, 9 figures 

  Access Paper or Ask Questions