Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2101.02559
Cited By
Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead
4 January 2021
Muhammad Shafique
Mahum Naseer
T. Theocharides
C. Kyrkou
O. Mutlu
Lois Orosa
Jungwook Choi
OOD
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead"
5 / 5 papers shown
Title
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
Weiming Xiang
Hoang-Dung Tran
Taylor T. Johnson
50
278
0
09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
192
1,714
0
03 Feb 2017
Adversarial Machine Learning at Scale
Alexey Kurakin
Ian Goodfellow
Samy Bengio
AAML
234
2,899
0
04 Nov 2016
Safety Verification of Deep Neural Networks
Xiaowei Huang
M. Kwiatkowska
Sen Wang
Min Wu
AAML
150
883
0
21 Oct 2016
Adversarial examples in the physical world
Alexey Kurakin
Ian Goodfellow
Samy Bengio
SILM
AAML
214
5,361
0
08 Jul 2016
1