PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Marta Kwiatkowska

5 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the $L_0$ Norm

    2018 · arXiv (Cornell University)

    Deployment of deep neural networks (DNNs) in safety- or security-critical systems requires provable guarantees on their correct behaviour. A common requirement is robustness to adversarial perturbations in a neighbourhood around an input. In this paper …

  2. Safety and Trustworthiness of Deep Neural Networks: A Survey

    2018 · arXiv (Cornell University)

    In the past few years, significant progress has been made on deep neural networks (DNNs) in achieving human-level intelligence on several long-standing tasks. With broader deployment of DNNs on various applications, the concerns on its …

  3. Safety Verification of Deep Neural Networks

    2016 · arXiv (Cornell University)

    Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with respect to adversarial perturbations, that is, minimal changes to the input image that cause the network to misclassify …

  4. Certification of Iterative Predictions in Bayesian Neural Networks

    2021 · arXiv (Cornell University)

    We consider the problem of computing reach-avoid probabilities for iterative predictions made with Bayesian neural network (BNN) models. Specifically, we leverage bound propagation techniques and backward recursion to compute lower bounds for the probability that …

  5. Efficient Preimage Approximation for Neural Network Certification

    2025 · arXiv (Cornell University)

    The growing reliance on artificial intelligence in safety- and security-critical applications is raising concerns about the robustness of neural networks to erroneous or adversarial input. Certification is a methodology for ensuring model trustworthiness by providing …