Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Sound and Complete Verification of Polynomial Networks
 
conference paper

Sound and Complete Verification of Polynomial Networks

Abad Rocamora, Elias
•
Sahin, Mehmet Fatih  
•
Liu, Fanghui  
Show more
2022
[Proceedings of NEURIPS 2022]
36th Conference on Neural Information Processing Systems (NeurIPS)

Polynomial Networks (PNs) have demonstrated promising performance on face and image recognition recently. However, robustness of PNs is unclear and thus obtaining certificates becomes imperative for enabling their adoption in real-world applications. Existing verification algorithms on ReLU neural networks (NNs) based on branch and bound (BaB) techniques cannot be trivially applied to PN verification. In this work, we devise a new bounding method, equipped with BaB for global convergence guarantees, called VPN. One key insight is that we obtain much tighter bounds than the interval bound propagation baseline. This enables sound and complete PN verification with empirical validation on MNIST, CIFAR10 and STL10 datasets. We believe our method has its own interest to NN verification.

  • Files
  • Details
  • Metrics
Type
conference paper
Author(s)
Abad Rocamora, Elias
Sahin, Mehmet Fatih  
Liu, Fanghui  
Chrysos, Grigorios  
Cevher, Volkan  orcid-logo
Date Issued

2022

Published in
[Proceedings of NEURIPS 2022]
Total of pages

33

Subjects

ml-ai

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LIONS  
Event nameEvent placeEvent date
36th Conference on Neural Information Processing Systems (NeurIPS)

New Orleans, USA

November 28 - December 3, 2022

Available on Infoscience
October 4, 2022
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/191182
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés