Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

• Automated Algorithm Configuration of $$\alpha $$, $$\beta $$-CROWN

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

  0

  citations
• Empirical Analysis of Upper Bounds for Robustness Distributions Using Adversarial Attacks

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

  0

  citations
• Adversarial Robustness of Time-Series Classification for Crystal Collimator Alignment

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

  0

  citations
• Robustness Margin: A New Measure for the Robustness of Neural Networks

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

  2

  citations
• 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
• End-to-end sensitivity analysis of a hybrid heliostat calibration process involving artificial neural networks

  2025 Solar Energy article Energy Solar Thermal and Photovoltaic Systems Open access

  9

  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
• Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio

  2022 Machine Learning article Computer Science Adversarial Robustness in Machine Learning Open access

  7

  citations
• Learning event-triggered control from data through joint optimization

  2021 IFAC Journal of Systems and Control article Computer Science Reinforcement Learning in Robotics Open access

  23

  citations
• Adversarial Examples on Object Recognition: A Comprehensive Survey

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

  11

  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
• Learning to Learn from Mistakes: Robust Optimization for Adversarial Noise

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

  1

  citations

16 results