Fetching the paper…
Reading the bibliography…
We investigate adversarial robustness of Gaussian Process Classification (GPC) models.
Statistical guarantees for the robustness of Bayesian neural networks
L. Cardelli, M. Kwiatkowska, L. Laurenti, N. Paoletti, A. Patane, and M. Wicker · 1903
Earlier work this paper cites.
Global minimization of large-scale constrained concave quadratic problems by separable programming
J. B. Rosen and P. M. Pardalos · 1986
Earlier work this paper cites.
Branch and bound algorithm for computing the minimum stability degree of parameter-dependent linear systems
V. Balakrishnan, S. Boyd, and S. Balemi · 1991
Earlier work this paper cites.
The MNIST database of handwritten digits
Y. LeCun · 1998
Earlier work this paper cites.
Bayesian classification with Gaussian processes
C. K. Williams and D. Barber · 1998
Earlier work this paper cites.
Expectation propagation for approximate Bayesian inference
T. P. Minka · 2001
Earlier work this paper cites.
A comparison of methods for multiclass support vector machines
C.-W. Hsu and C.-J. Lin · 2002
Earlier work this paper cites.
Convex optimization
S. Boyd and L. Vandenberghe · 2004
Earlier work this paper cites.
Distinctive image features from scale-invariant keypoints
D. G. Lowe · 2004
Earlier work this paper cites.
Complete search in continuous global optimization and constraint satisfaction
A. Neumaier · 2004
Earlier work this paper cites.
Gaussian processes in machine learning
C. E. Rasmussen · 2004
Cited alongside, same era.
Pattern recognition and machine learning
C. M. Bishop · 2006
Cited alongside, same era.
Bayesian Gaussian process classification with the EM-EP algorithm
H.-C. Kim and Z. Ghahramani · 2006
Cited alongside, same era.
Outlier robust Gaussian process classification
H.-C. Kim and Z. Ghahramani · 2008
Cited alongside, same era.
Approximations for binary Gaussian process classification
H. Nickisch and C. E. Rasmussen · 2008
Cited alongside, same era.
Robust multi-class Gaussian process classification
D. Hernández-Lobato, J. M. Hernández-Lobato, and P. Dupont · 2011
Cited alongside, same era.
Detecting adversarial samples from artifacts
R. Feinman, R. R. Curtin, S. Shintre, and A. B. Gardner · 2017
Later among the works it cites.
Safety verification of deep neural networks
X. Huang, M. Kwiatkowska, S. Wang, and M. Wu · 2017
Later among the works it cites.
Reluplex: An efficient smt solver for verifying deep neural networks
G. Katz, C. Barrett, D. L. Dill, K. Julian, and M. J. Kochenderfer · 2017
Later among the works it cites.
Wild patterns: Ten years after the rise of adversarial machine learning
B. Biggio and F. Roli · 2018
Later among the works it cites.
Adversarially robust optimization with Gaussian processes
I. Bogunovic, J. Scarlett, S. Jegelka, and V. Cevher · 2018
Later among the works it cites.
The limitations of model uncertainty in adversarial settings
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
M. T. Ribeiro, S. Singh, and C. Guestrin · 2016
Cited alongside, same era.
A Data-Driven Approach for Modeling, Analysis and Control of Stochastic Hybrid Systems using Gaussian Processes
H. Abdelaziz · 2017
Cited alongside, same era.
J. Bradshaw, A. G. d. G. Matthews, and Z. Ghahramani · 2017
Cited alongside, same era.
UCI machine learning repository, 2017
D. Dua and C. Graff · 2017
Cited alongside, same era.
Robustness guarantees for bayesian inference with gaussian processes
L. Cardelli, M. Kwiatkowska, L. Laurenti, and A. Patane
Cited in the paper.
K. Grosse, D. Pfaff, M. T. Smith, and M. Backes · 2018
Later among the works it cites.
Reachability analysis of deep neural networks with provable guarantees
W. Ruan, X. Huang, and M. Kwiatkowska · 2018
Later among the works it cites.
Robustness may be at odds with accuracy
D. Tsipras, S. Santurkar, L. Engstrom, A. Turner, and A. Madry · 2018
Later among the works it cites.
Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems
N. Cauchi, L. Laurenti, M. Lahijanian, A. Abate, M. Kwiatkowska, and L. Cardelli · 2019
Closest in time.
Adversarial vulnerability bounds for gaussian process classification
M. T. Smith, K. Grosse, M. Backes, and M. A. Alvarez · 2019
Closest in time.