NIPS Proceedingsβ

Markus Püschel

3 Papers

  • Beyond the Single Neuron Convex Barrier for Neural Network Certification (2019)
  • Powerset Convolutional Neural Networks (2019)
  • Fast and Effective Robustness Certification (2018)