Certified Robustness to Programmable Transformations in LSTMs

Certified Robustness to Programmable Transformations in LSTMs

15 February 2021

Aws Albarghouthi

Papers citing "Certified Robustness to Programmable Transformations in LSTMs"

11 / 11 papers shown

Title
Spiking Convolutional Neural Networks for Text Classification Changze Lv Jianhan Xu Xiaoqing Zheng 56 28 0 27 Jun 2024
A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified Robustness Yuhao Zhang Aws Albarghouthi Loris Dántoni OffRL 31 0 0 27 May 2024
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation Xiaowei Huang Wenjie Ruan Wei Huang Gao Jin Yizhen Dong ... Sihao Wu Peipei Xu Dengyu Wu André Freitas Mustafa A. Mustafa ALM 45 83 0 19 May 2023
RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized Deletion Zhuoqun Huang Neil G. Marchant Keane Lucas Lujo Bauer O. Ohrimenko Benjamin I. P. Rubinstein AAML 32 15 0 31 Jan 2023
Natural Language Specifications in Proof Assistants Colin S. Gordon Sergey Matskevich 41 1 0 16 May 2022
Interactive Model Cards: A Human-Centered Approach to Model Documentation Anamaria Crisan Margaret Drouhard Jesse Vig Nazneen Rajani HAI 40 87 0 05 May 2022
The Fundamental Limits of Interval Arithmetic for Neural Networks M. Mirman Maximilian Baader Martin Vechev 32 6 0 09 Dec 2021
Introduction to Neural Network Verification Aws Albarghouthi AAML 57 85 0 21 Sep 2021
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 33 128 0 09 Sep 2020
Certified Robustness to Adversarial Word Substitutions Robin Jia Aditi Raghunathan Kerem Göksel Percy Liang AAML 188 291 0 03 Sep 2019
Adversarial Example Generation with Syntactically Controlled Paraphrase Networks Mohit Iyyer John Wieting Kevin Gimpel Luke Zettlemoyer AAML GAN 205 712 0 17 Apr 2018