中文
相关论文

相关论文: Certified Robustness Under Bounded Levenshtein Dis…

200 篇论文

Certified defenses against small-norm adversarial examples have received growing attention in recent years; though certified accuracies of state-of-the-art methods remain far below their non-robust counterparts, despite the fact that…

机器学习 · 计算机科学 2023-01-24 Klas Leino

In the last couple of years, several adversarial attack methods based on different threat models have been proposed for the image classification problem. Most existing defenses consider additive threat models in which sample perturbations…

机器学习 · 计算机科学 2019-10-25 Alexander Levine , Soheil Feizi

Deriving sharp and computable upper bounds of the Lipschitz constant of deep neural networks is crucial to formally guarantee the robustness of neural-network based models. We analyse three existing upper bounds written for the $l^2$ norm.…

机器学习 · 计算机科学 2024-10-29 Moreno Pintore , Bruno Després

Spurious correlations threaten the validity of statistical classifiers. While model accuracy may appear high when the test data is from the same distribution as the training data, it can quickly degrade when the test distribution changes.…

机器学习 · 计算机科学 2020-12-21 Zhao Wang , Aron Culotta

ResNets constrained to be bi-Lipschitz, that is, approximately distance preserving, have been a crucial component of recently proposed techniques for deterministic uncertainty quantification in neural models. We show that theoretical…

机器学习 · 计算机科学 2021-06-18 Lewis Smith , Joost van Amersfoort , Haiwen Huang , Stephen Roberts , Yarin Gal

Certifying the robustness of a graph-based machine learning model poses a critical challenge for safety. Current robustness certificates for graph classifiers guarantee output invariance with respect to the total number of node pair flips…

机器学习 · 计算机科学 2023-06-27 Pierre Osselin , Henry Kenlay , Xiaowen Dong

With the growing integration of AI in daily life, ensuring the robustness of systems to inference-time attacks is crucial. Among the approaches for certifying robustness to such adversarial examples, randomized smoothing has emerged as…

计算与语言 · 计算机科学 2024-08-02 Zhuoqun Huang , Neil G Marchant , Olga Ohrimenko , Benjamin I. P. Rubinstein

Based on existing ideas in the field of imprecise probabilities, we present a new approach for assessing the reliability of the individual predictions of a generative probabilistic classifier. We call this approach robustness…

机器学习 · 计算机科学 2025-04-11 Adrián Detavernier , Jasper De Bock

The Lipschitz constant is an important quantity that arises in analysing the convergence of gradient-based optimization methods. It is generally unclear how to estimate the Lipschitz constant of a complex model. Thus, this paper studies an…

机器学习 · 统计学 2023-02-10 Calypso Herrera , Florian Krach , Josef Teichmann

Recent work in adversarial robustness suggests that natural data distributions are localized, i.e., they place high probability in small volume regions of the input space, and that this property can be utilized for designing classifiers…

机器学习 · 计算机科学 2024-05-24 Ambar Pal , René Vidal , Jeremias Sulam

Despite the exploding interest in graph neural networks there has been little effort to verify and improve their robustness. This is even more alarming given recent findings showing that they are extremely vulnerable to adversarial attacks…

机器学习 · 计算机科学 2019-12-20 Aleksandar Bojchevski , Stephan Günnemann

Machine learning algorithms are known to be susceptible to data poisoning attacks, where an adversary manipulates the training data to degrade performance of the resulting classifier. In this work, we present a unifying view of randomized…

机器学习 · 计算机科学 2021-02-24 Elan Rosenfeld , Ezra Winston , Pradeep Ravikumar , J. Zico Kolter

The Word Error Rate (WER) is the common measure of accuracy for Automatic Speech Recognition (ASR). Transcripts are usually pre-processed by substituting specific characters to account for non-semantic differences. As a result of this…

计算与语言 · 计算机科学 2024-09-20 Korbinian Kuhn , Verena Kersken , Gottfried Zimmermann

Adversarial input attacks can cause a significant shift of CLIP embeddings. This can affect the downstream robustness of models incorporating CLIP in the pipeline, such as text-to-image generative models or large vision language models.…

Recent years have seen growing interest in developing and applying perceptual similarity metrics. Research has shown the superiority of perceptual metrics over pixel-wise metrics in aligning with human perception and serving as a proxy for…

计算机视觉与模式识别 · 计算机科学 2024-04-01 Sara Ghazanfari , Alexandre Araujo , Prashanth Krishnamurthy , Farshad Khorrami , Siddharth Garg

We study certified robustness of machine learning classifiers against adversarial perturbations. In particular, we propose the first universally approximated certified robustness (UniCR) framework, which can approximate the robustness…

机器学习 · 计算机科学 2022-07-12 Hanbin Hong , Binghui Wang , Yuan Hong

Machine learning models are vulnerable to adversarial attacks. One approach to addressing this vulnerability is certification, which focuses on models that are guaranteed to be robust for a given perturbation size. A drawback of recent…

机器学习 · 计算机科学 2020-10-07 Ryan Campbell , Chris Finlay , Adam M Oberman

Although state-of-the-art PDF malware classifiers can be trained with almost perfect test accuracy (99%) and extremely low false positive rate (under 0.1%), it has been shown that even a simple adversary can evade them. A practically useful…

密码学与安全 · 计算机科学 2019-12-04 Yizheng Chen , Shiqi Wang , Dongdong She , Suman Jana

This paper tackles the problem of Lipschitz regularization of Convolutional Neural Networks. Lipschitz regularity is now established as a key property of modern deep learning with implications in training stability, generalization,…

机器学习 · 计算机科学 2020-11-10 Alexandre Araujo , Benjamin Negrevergne , Yann Chevaleyre , Jamal Atif

The Lipschitz bound, a technique from robust statistics, can limit the maximum changes in the output concerning the input, taking into account associated irrelevant biased factors. It is an efficient and provable method for examining the…

机器学习 · 计算机科学 2023-12-13 Yaning Jia , Chunhui Zhang