Certified Robustness to Programmable Transformations in LSTMs

v1v2 (latest)

Certified Robustness to Programmable Transformations in LSTMs

15 February 2021

Aws Albarghouthi

ArXiv (abs)PDF HTML

Papers citing "Certified Robustness to Programmable Transformations in LSTMs"

7 / 7 papers shown

Title
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 132 96 0 19 May 2023
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects Linyi Li Yuhao Zhang Luyao Ren Yingfei Xiong Tao Xie 48 9 0 13 Feb 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 94 17 0 31 Jan 2023
Natural Language Specifications in Proof Assistants Colin S. Gordon Sergey Matskevich 62 1 0 16 May 2022
Interactive Model Cards: A Human-Centered Approach to Model Documentation Anamaria Crisan Margaret Drouhard Jesse Vig Nazneen Rajani HAI 78 89 0 05 May 2022
The Fundamental Limits of Interval Arithmetic for Neural Networks M. Mirman Maximilian Baader Martin Vechev 42 6 0 09 Dec 2021
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Yue Liu AAML 123 131 0 09 Sep 2020