Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1811.12395
Cited By
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks
29 November 2018
Akhilan Boopathy
Tsui-Wei Weng
Pin-Yu Chen
Sijia Liu
Luca Daniel
AAML
Re-assign community
ArXiv
PDF
HTML
Papers citing
"CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks"
2 / 2 papers shown
Title
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
199
1,714
0
03 Feb 2017
Adversarial Machine Learning at Scale
Alexey Kurakin
Ian Goodfellow
Samy Bengio
AAML
248
2,899
0
04 Nov 2016
1