Improving Neural Network Verification through Spurious Region Guided Refinement

15 October 2020

Jun Sun

Papers citing "Improving Neural Network Verification through Spurious Region Guided Refinement"

22 / 22 papers shown

Title
Efficient Preimage Approximation for Neural Network Certification Anton Björklund Mykola Zaitsev Marta Kwiatkowska AAML 21 0 0 28 May 2025
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Kota Fukuda Guanqin Zhang Zhenya Zhang Yulei Sui Jianjun Zhao 107 0 0 02 May 2025
FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks Brian Hyeongseok Kim Jingbo Wang Chao Wang 69 1 0 05 Sep 2024
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska Huan Zhang AAML 86 4 0 17 Aug 2024
DeepCDCL: An CDCL-based Neural Network Verification Framework Zongxin Liu Pengfei Yang Lijun Zhang Xiaowei Huang 55 5 0 12 Mar 2024
UR4NNV: Neural Network Verification, Under-approximation Reachability Works! Zhen Liang Taoran Wu Ran Zhao Bai Xue Ji Wang Wenjing Yang Shaojun Deng Wanwei Liu AAML 60 0 0 23 Jan 2024
When to Trust AI: Advances and Challenges for Certification of Neural Networks Marta Kwiatkowska Xiyue Zhang AAML 186 9 0 20 Sep 2023
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models Liang Zhang Nathaniel Xu Pengfei Yang Gao Jin Cheng-Chao Huang Lijun Zhang 98 9 0 11 Aug 2023
Expediting Neural Network Verification via Network Reduction Yuyi Zhong Ruiwei Wang Siau-Cheng Khoo AAML 50 2 0 07 Aug 2023
Verifying Safety of Neural Networks from Topological Perspectives Zhen Liang Dejin Ren Bai Xue Jing Wang Wenjing Yang Wanwei Liu AAML 67 0 0 27 Jun 2023
Provable Preimage Under-Approximation for Neural Networks (Full Version) Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska AAML 71 9 0 05 May 2023
Repairing Deep Neural Networks Based on Behavior Imitation Zhen Liang Taoran Wu Changyuan Zhao Wanwei Liu Bai Xue Wenjing Yang Jing Wang AAML 107 5 0 05 May 2023
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks Pengfei Yang Zhiming Chi Zongxin Liu Mengyu Zhao Cheng-Chao Huang Shaowei Cai Lijun Zhang AAML 54 3 0 10 Feb 2023
Provably Bounding Neural Network Preimages Suhas Kotha Christopher Brix Zico Kolter Krishnamurthy Dvijotham Huan Zhang AAML 135 18 0 02 Feb 2023
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks Yedi Zhang Zhe Zhao Fu Song Hao Fei Tao Chen Jun Sun 69 18 0 10 Dec 2022
QEBVerif: Quantization Error Bound Verification of Neural Networks Yedi Zhang Fu Song Jun Sun MQ 99 12 0 06 Dec 2022
Efficiently Finding Adversarial Examples with DNN Preprocessing Avriti Chauhan Mohammad Afzal Hrishikesh Karmarkar Y. Elboher Kumar Madhukar Guy Katz AAML 57 0 0 16 Nov 2022
Tighter Abstract Queries in Neural Network Verification Elazar Cohen Y. Elboher Clark W. Barrett Guy Katz 106 7 0 23 Oct 2022
Safety Verification for Neural Networks Based on Set-boundary Analysis Zhen Liang Dejin Ren Wanwei Liu Ji Wang Wenjing Yang Bai Xue AAML 62 6 0 09 Oct 2022
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks Jiaxiang Liu Yunhan Xing Xiaomu Shi Fu Song Zhiwu Xu Zhong Ming 68 11 0 02 Jul 2022
Specifying and Testing $k$ -Safety Properties for Machine-Learning Models M. Christakis Hasan Ferit Eniser Jörg Hoffmann Adish Singla Valentin Wüstholz 35 6 0 13 Jun 2022
Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning Renjue Li Pengfei Yang Cheng-Chao Huang Youcheng Sun Bai Xue Lijun Zhang AAML 154 18 0 25 Jan 2021