An abstract domain for certifying neural networks

• CTRAIN - A Training Library for Certifiably Robust Neural Networks (Extended Abstract)

  2025 Lecture notes in computer science conference-paper Computer Science Adversarial Robustness in Machine Learning

  0

  citations
• Generalizing neural network verification to the family of piece-wise linear activation functions

  2025 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

  3

  citations
• Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing

  2024 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Adversarial Robustness in Machine Learning Open access

  1

  citations
• Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks

  2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  0

  citations
• First three years of the international verification of neural networks competition (VNN-COMP)

  2023 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access cited by 1 patent

  66

  citations
• Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs

  2020 arXiv (Cornell University) preprint Computer Science Adversarial Robustness in Machine Learning Open access

  3

  citations
• Robustness Verification for Classifier Ensembles

  2020 Lecture notes in computer science conference-paper Computer Science Adversarial Robustness in Machine Learning Open access

  11

  citations

7 results