ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1811.12395
  4. Cited By
CNN-Cert: An Efficient Framework for Certifying Robustness of
  Convolutional Neural Networks

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
ArXivPDFHTML

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
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
Adversarial Machine Learning at Scale
Alexey Kurakin
Ian Goodfellow
Samy Bengio
AAML
250
2,899
0
04 Nov 2016
1