SyReNN: A Tool for Analyzing Deep Neural Networks

9 January 2021

Papers citing "SyReNN: A Tool for Analyzing Deep Neural Networks"

6 / 6 papers shown

Title
When to Trust AI: Advances and Challenges for Certification of Neural Networks Marta Kwiatkowska Xiyue Zhang AAML 39 8 0 20 Sep 2023
Provable Preimage Under-Approximation for Neural Networks (Full Version) Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska AAML 36 7 0 05 May 2023
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations S. Munakata Caterina Urban Haruki Yokoyama Koji Yamamoto Kazuki Munakata AAML 17 4 0 13 Jul 2022
Assessment of Neural Networks for Stream-Water-Temperature Prediction S. Mohr Konstantina Drainas J. Geist 31 3 0 08 Oct 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016