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. 2304.07980
  4. Cited By
RNN-Guard: Certified Robustness Against Multi-frame Attacks for
  Recurrent Neural Networks

RNN-Guard: Certified Robustness Against Multi-frame Attacks for Recurrent Neural Networks

17 April 2023
Yunruo Zhang
Tianyu Du
S. Ji
Peng Tang
Shanqing Guo
    AAML
ArXivPDFHTML

Papers citing "RNN-Guard: Certified Robustness Against Multi-frame Attacks for Recurrent Neural Networks"

4 / 4 papers shown
Title
Neural Network Verification with Branch-and-Bound for General Nonlinearities
Neural Network Verification with Branch-and-Bound for General Nonlinearities
Zhouxing Shi
Qirui Jin
Zico Kolter
Suman Jana
Cho-Jui Hsieh
Huan Zhang
34
11
0
31 May 2024
CNN-Cert: An Efficient Framework for Certifying Robustness of
  Convolutional Neural Networks
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks
Akhilan Boopathy
Tsui-Wei Weng
Pin-Yu Chen
Sijia Liu
Luca Daniel
AAML
101
138
0
29 Nov 2018
Generating Natural Language Adversarial Examples
Generating Natural Language Adversarial Examples
M. Alzantot
Yash Sharma
Ahmed Elgohary
Bo-Jhang Ho
Mani B. Srivastava
Kai-Wei Chang
AAML
243
914
0
21 Apr 2018
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
222
1,832
0
03 Feb 2017
1