Fetching the paper…
Reading the bibliography…
As machine learning (ML) systems become pervasive, safeguarding their security is critical.
Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing
M. Abramowitz and I. A. (Eds.) Stegun. 1972 · 1972
Earlier work this paper cites.
Probability essentials
Jean Jacod and Philip Protter. 2000 · 2000
Earlier work this paper cites.
Intriguing Properties of Neural Networks. In 2014 International Conference on Learning Representations (ICLR) . OpenReview
Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian Goodfellow, and Rob Fergus. 2014 · 2014
Earlier work this paper cites.
Explaining and Harnessing Adversarial Examples. In 2015 International Conference on Learning Representations (ICLR) . OpenReview
Ian J Goodfellow, Jonathon Shlens, and Christian Szegedy. 2015 · 2015
Earlier work this paper cites.
Delving deep into rectifiers: Surpassing Human-Level Performance on ImageNet Classification. In 2015 IEEE International Conference on Computer Vision (ICCV) . IEEE, 1026–1034
Kaiming He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun. 2015 · 2015
Earlier work this paper cites.
Deep residual learning for image recognition. In Proceedings of the IEEE conference on computer vision and pattern recognition . 770–778
Kaiming He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun. 2016 · 2016
Earlier work this paper cites.
Automatically Evading Classifiers: A Case Study on PDF Malware Classifiers. In 2016 Network and Distributed Systems Symposium (NDSS) , Vol. 10. Internet Society
Weilin Xu, Yanjun Qi, and David Evans. 2016 · 2016
Earlier work this paper cites.
Towards Evaluating the Robustness of Neural Networks. In 2017 IEEE Symposium on Security and Privacy (SP) . IEEE Computer Society, 39–57
Nicholas Carlini and David Wagner. 2017 · 2017
Earlier work this paper cites.
Generating Adversarial Malware Examples for Black-Box Attacks Based on GAN
Weiwei Hu and Ying Tan. 2017 · 2017
Earlier work this paper cites.
DeepStack: Expert-Level Artificial Intelligence in Heads-Up No-Limit Poker
Matej Moravčík, Martin Schmid, Neil Burch, Viliam Lisỳ, Dustin Morrill, Nolan Bard, Trevor Davis, Kevin Waugh, Michael Johanson, and Michael Bowling. 2017 · 2017
Earlier work this paper cites.
DeepXplore: Automated Whitebox Testing of Deep Learning Systems. In 2017 Symposium on Operating Systems Principles (SOSP) . Association for Computing Machinery, 1–18
Kexin Pei, Yinzhi Cao, Junfeng Yang, and Suman Jana. 2017a · 2017
Earlier work this paper cites.
Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems
Kexin Pei, Yinzhi Cao, Junfeng Yang, and Suman Jana. 2017b · 2017
Earlier work this paper cites.
Mastering the Game of Go without Human Knowledge
David Silver, Julian Schrittwieser, Karen Simonyan, Ioannis Antonoglou, Aja Huang, Arthur Guez, Thomas Hubert, Lucas Baker, Matthew Lai, Adrian Bolton, et al · 2017
Earlier work this paper cites.
Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples. In 2018 International Conference on Machine Learning (ICML) . PMLR, 274–283
Anish Athalye, Nicholas Carlini, and David Wagner. 2018 · 2018
Earlier work this paper cites.
Robust Physical-World Attacks on Deep Learning Visual Classification. In 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) . IEEE, 1625–1634
Kevin Eykholt, Ivan Evtimov, Earlence Fernandes, Bo Li, Amir Rahmati, Chaowei Xiao, Atul Prakash, Tadayoshi Kohno, and Dawn Song. 2018 · 2018
Earlier work this paper cites.
Benchmarking Neural Network Robustness to Common Corruptions and Perturbations. In 2018 International Conference on Learning Representations (ICLR) . OpenReview
Dan Hendrycks and Thomas Dietterich. 2018 · 2018
Earlier work this paper cites.
Semantic Adversarial Examples. In 2018 IEEE Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) . IEEE, 1614–1619
Hossein Hosseini and Radha Poovendran. 2018 · 2018
Earlier work this paper cites.
Characterizing Adversarial Subspaces Using Local Intrinsic Dimensionality. In 2018 International Conference on Learning Representations (ICLR) . OpenReview
Xingjun Ma, Bo Li, Yisen Wang, Sarah M Erfani, Sudanthi Wijewickrema, Grant Schoenebeck, Dawn Song, Michael E Houle, and James Bailey. 2018 · 2018
Earlier work this paper cites.
Towards Deep Learning Models Resistant to Adversarial Attacks. In 2018 International Conference on Learning Representations (ICLR) . OpenReview
Aleksander Madry, Aleksandar Makelov, Ludwig Schmidt, Dimitris Tsipras, and Adrian Vladu. 2018 · 2018
Earlier work this paper cites.
Differentiable Abstract Interpretation for Provably Robust Neural Networks. In 2018 International Conference on Machine Learning (ICML) . PMLR, 3575–3583
Matthew Mirman, Timon Gehr, and Martin Vechev. 2018 · 2018
Earlier work this paper cites.
Semidefinite Relaxations for Certifying Robustness to Adversarial Examples. In 2018 Advances in Neural Information Processing Systems (NeurIPS) . Curran Associates, Inc., 10877–10887
Aditi Raghunathan, Jacob Steinhardt, and Percy S Liang. 2018 · 2018
Earlier work this paper cites.
Defense-GAN: Protecting Classifiers Against Adversarial Attacks Using Generative Models. In 2018 International Conference on Learning Representations (ICLR) . OpenReview
Pouya Samangouei, Maya Kabkab, and Rama Chellappa. 2018 · 2018
Earlier work this paper cites.
DeepTest: Automated Testing of Deep-Neural-Network-Driven Autonomous Cars. In 2018 International Conference on Software Engineering (ICSE) . Association for Computing Machinery, 303–314
Yuchi Tian, Kexin Pei, Suman Jana, and Baishakhi Ray. 2018 · 2018
Earlier work this paper cites.
Evaluating Robustness of Neural Networks with Mixed Integer Programming. In 2018 International Conference on Learning Representations (ICLR) . OpenReview
Vincent Tjeng, Kai Y Xiao, and Russ Tedrake. 2018 · 2018
Cited alongside, same era.
Ensemble Adversarial Training: Attacks and Defenses. In 2018 International Conference on Learning Representations (ICLR) . OpenReview
Florian Tramèr, Alexey Kurakin, Nicolas Papernot, Ian Goodfellow, Dan Boneh, and Patrick McDaniel. 2018 · 2018
Cited alongside, same era.
Towards Fast Computation of Certified Robustness for ReLU Networks. In 2018 International Conference on Machine Learning (ICML) . PMLR, 5276–5285
Lily Weng, Huan Zhang, Hongge Chen, Zhao Song, Cho-Jui Hsieh, Luca Daniel, Duane Boning, and Inderjit Dhillon. 2018 · 2018
Cited alongside, same era.
Provable Defenses against Adversarial Examples via the Convex Outer Adversarial Polytope. In 2018 International Conference on Machine Learning (ICML) . PMLR, 5286–5295
Eric Wong and Zico Kolter. 2018 · 2018
Cited alongside, same era.
RobustBench: A Standardized Adversarial Robustness Benchmark
Francesco Croce, Maksym Andriushchenko, Vikash Sehwag, Nicolas Flammarion, Mung Chiang, Prateek Mittal, and Matthias Hein. 2020 · 2020
Closest in time.
Enabling Certification of Verification-Agnostic Networks via Memory-Efficient Semidefinite Programming. In 2020 Advances in Neural Information Processing Systems (NeurIPS) . Curran Associates, Inc., 5318–5331
Sumanth Dathathri, Krishnamurthy Dvijotham, Alexey Kurakin, Aditi Raghunathan, Jonathan Uesato, Rudy Bunel, Shreya Shankar, Jacob Steinhardt, Ian Goodfellow, Percy Liang, et al · 2020
Closest in time.
A Framework for Robustness Certification of Smoothed Classifiers using f-Divergences. In 2020 International Conference on Learning Representations (ICLR) . OpenReview
Krishnamurthy Dvijotham, Jamie Hayes, Borja Balle, Zico Kolter, Chongli Qin, Andras Gyorgy, Kai Xiao, Sven Gowal, and Pushmeet Kohli. 2020 · 2020
Closest in time.
Certified Defense to Image Transformations via Randomized Smoothing. In 2020 Advances in Neural Information Processing Systems (NeurIPS) . Curran Associates, Inc., 8404–8417
Marc Fischer, Maximilian Baader, and Martin Vechev. 2020 · 2020
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Scaling Provable Adversarial Defenses. In 2018 Advances in Neural Information Processing Systems (NeurIPS) . Curran Associates, Inc., 8400–8409
Eric Wong, Frank Schmidt, Jan Hendrik Metzen, and J Zico Kolter. 2018 · 2018
Cited alongside, same era.
Generating Adversarial Examples with Adversarial Networks. In 2018 International Joint Conference on Artificial Intelligence (IJCAI) . International Joint Conferences on Artificial Intelligence Organization, 3905–3911
Chaowei Xiao, Bo Li, Jun Yan Zhu, Warren He, Mingyan Liu, and Dawn Song. 2018a · 2018
Cited alongside, same era.
Spatially Transformed Adversarial Examples. In 2018 International Conference on Learning Representations (ICLR) . OpenReview
Chaowei Xiao, Jun-Yan Zhu, Bo Li, Warren He, Mingyan Liu, and Dawn Song. 2018b · 2018
Cited alongside, same era.
Certifying Geometric Robustness of Neural Networks. In 2019 Advances in Neural Information Processing Systems (NeurIPS) . Curran Associates, Inc., 15287–15297
Mislav Balunovic, Maximilian Baader, Gagandeep Singh, Timon Gehr, and Martin Vechev. 2019 · 2019
Cited alongside, same era.
Unlabeled Data Improves Adversarial Robustness. In 2019 Advances in Neural Information Processing Systems (NeurIPS) . Curran Associates, Inc., 11192–11203
Yair Carmon, Aditi Raghunathan, Ludwig Schmidt, John C Duchi, and Percy S Liang. 2019 · 2019
Cited alongside, same era.
Certified Adversarial Robustness via Randomized Smoothing. In 2019 International Conference on Machine Learning (ICML) . PMLR, 1310–1320
Jeremy Cohen, Elan Rosenfeld, and Zico Kolter. 2019 · 2019
Cited alongside, same era.
Exploring the Landscape of Spatial Robustness. In 2019 International Conference on Machine Learning (ICML) . PMLR, 1802–1811
Logan Engstrom, Brandon Tran, Dimitris Tsipras, Ludwig Schmidt, and Aleksander Madry. 2019 · 2019
Cited alongside, same era.
Scalable Verified Training for Provably Robust Image Classification. In 2019 IEEE International Conference on Computer Vision (ICCV) . IEEE, 4842–4851
Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy Mann, and Pushmeet Kohli. 2019 · 2019
Cited alongside, same era.
Closest in time.
Breaking Certified Defenses: Semantic Adversarial Examples with Spoofed Robustness Certificates. In 2020 International Conference on Learning Representations (ICLR) . OpenReview
Amin Ghiasi, Ali Shafahi, and Tom Goldstein. 2020 · 2020
Closest in time.
Extensions and Limitations of Randomized Smoothing for Robustness Guarantees. In 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) . IEEE, 3413–3421
Jamie Hayes. 2020 · 2020
Closest in time.
AugMix: A Simple Data Processing Method to Improve Robustness and Uncertainty. In 2020 International Conference on Learning Representations (ICLR) . OpenReview
Dan Hendrycks, Norman Mu, Ekin Dogus Cubuk, Barret Zoph, Justin Gilmer, and Balaji Lakshminarayanan. 2020 · 2020
Closest in time.
Consistency Regularization for Certified Robustness of Smoothed Classifiers. In 2020 Advances in Neural Information Processing Systems (NeurIPS) . Curran Associates, Inc., 10558–10570
Jongheon Jeong and Jinwoo Shin. 2020 · 2020
Closest in time.
Curse of Dimensionality on Randomized Smoothing for Certifiable Robustness. In 2020 International Conference on Machine Learning (ICML) . PMLR, 5458–5467
Aounon Kumar, Alexander Levine, Tom Goldstein, and Soheil Feizi. 2020 · 2020
Closest in time.
SoK: Certified Robustness for Deep Neural Networks
Linyi Li, Xiangyu Qi, Tao Xie, and Bo Li. 2020 · 2020
Closest in time.
Towards Verifying Robustness of Neural Networks Against A Family of Semantic Perturbations. In 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) . IEEE, 244–252
Jeet Mohapatra, Tsui-Wei Weng, Pin-Yu Chen, Sijia Liu, and Luca Daniel. 2020 · 2020
Closest in time.
OpenCV: Transformations of Images
OpenCV. 2020 · 2020
Closest in time.
ℓ 1 \ell_{1} Adversarial Robustness Certificates: A Randomized Smoothing Approach
Jiaye Teng, Guang-He Lee, and Yang Yuan. 2020 · 2020
Closest in time.
On Adaptive Attacks to Adversarial Example Defenses. In 2020 Advances in Neural Information Processing Systems (NeurIPS) . Curran Associates, Inc., 1633–1645
Florian Tramèr, Nicholas Carlini, Wieland Brendel, and Aleksander Madry. 2020 · 2020
Closest in time.
Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond. In 2020 Advances in Neural Information Processing Systems (NeurIPS) . Curran Associates, Inc., 1129–1141
Kaidi Xu, Zhouxing Shi, Huan Zhang, Yihan Wang, Kai-Wei Chang, Minlie Huang, Bhavya Kailkhura, Xue Lin, and Cho-Jui Hsieh. 2020 · 2020
Closest in time.
Randomized Smoothing of All Shapes and Sizes. In 2020 International Conference on Machine Learning (ICML) . PMLR, 10693–10705
Greg Yang, Tony Duan, J. Edward Hu, Hadi Salman, Ilya Razenshteyn, and Jerry Li. 2020 · 2020
Closest in time.
MACER: Attack-Free and Scalable Robust Training via Maximizing Certified Radius. In 2020 International Conference on Learning Representations (ICLR) . OpenReview
Runtian Zhai, Chen Dan, Di He, Huan Zhang, Boqing Gong, Pradeep Ravikumar, Cho-Jui Hsieh, and Liwei Wang. 2020 · 2020
Closest in time.
Black-Box Certification with Randomized Smoothing: A Functional Optimization Based Framework. In 2020 Advances in Neural Information Processing Systems (NeurIPS) . Curran Associates, Inc., 2316–2326
Dinghuai Zhang, Mao Ye, Chengyue Gong, Zhanxing Zhu, and Qiang Liu. 2020b · 2020
Closest in time.
Towards Stable and Efficient Training of Verifiably Robust Neural Networks. In 2020 International Conference on Learning Representations (ICLR) . OpenReview
Huan Zhang, Hongge Chen, Chaowei Xiao, Sven Gowal, Robert Stanforth, Bo Li, Duane Boning, and Cho-Jui Hsieh. 2020a · 2020
Closest in time.
Attribute-Guided Adversarial Training for Robustness to Natural Perturbations. In 2021 AAAI Conference on Artificial Intelligence (AAAI) , Vol. 35. Association for the Advancement of Artificial Intelligence Press, 7574–7582
Tejas Gokhale, Rushil Anirudh, Bhavya Kailkhura, Jayaraman J Thiagarajan, Chitta Baral, and Yezhou Yang. 2021 · 2021
Closest in time.
Hidden Cost of Randomized Smoothing. In 2021 International Conference on Artificial Intelligence and Statistics (AISTATS) . PMLR, 4033–4041
Jeet Mohapatra, Ching-Yun Ko, Lily Weng, Pin-Yu Chen, Sijia Liu, and Luca Daniel. 2021 · 2021
Closest in time.
torchvision.models — Torchvison 0.10.0 documentation
PyTorch. 2021 · 2021
Closest in time.