Scalable Polyhedral Verification of Recurrent Neural Networks

Scalable Polyhedral Verification of Recurrent Neural Networks

27 May 2020

Mislav Balunović

Gagandeep Singh

Martin Vechev

Papers citing "Scalable Polyhedral Verification of Recurrent Neural Networks"

6 / 6 papers shown

Title
Neural Network Verification with Branch-and-Bound for General Nonlinearities Zhouxing Shi Qirui Jin Zico Kolter Suman Jana Cho-Jui Hsieh Huan Zhang 48 11 0 31 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 82 0 19 May 2023
Reachability Analysis of Neural Network Control Systems Chi Zhang W. Ruan Peipei Xu 29 13 0 28 Jan 2023
Boosting Robustness Verification of Semantic Feature Neighborhoods Anan Kabaha Dana Drachsler-Cohen AAML 32 6 0 12 Sep 2022
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting Shaoru Chen Eric Wong Zico Kolter Mahyar Fazlyab 47 15 0 16 Jun 2021
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 33 128 0 09 Sep 2020